On Fri, Nov 28, 2003 at 06:32:32PM +0100, Michael Schmitt spake thusly: > > Martin Vermeer wrote: > > > If everything still works after this, I am happy with it... > > The changes look pretty harmless, don't they? (In particular in > comparison with Andre's patches :-)) > > Please apply. Could you also have a look at my second email? > > Michael It's in. (And yes, everything that worked before still appears to work.)
- Martin
pgp00000.pgp
Description: PGP signature
