On Tue, Dec 11, 2001 at 11:45:12AM -0500, Branden Robinson wrote: > > I join you: this IS a serious bug. It messed many carefully crafted > > Please try 4.1.0-11; thanks. > > By the way, most of the rest of your message was completely erroneous. Thanks for your in-depth explanation on this last issue. Bye, Enrico -- GPG key: 1024D/797EBFAB 2000-12-05 Enrico Zini <enrico@debian.org>