On Tue, Apr 04, 2006 at 12:14:10PM -0700, Paul Eggert wrote: > Ralf Wildenhues <[EMAIL PROTECTED]> writes: > > > Oh, I certainly would not mind a "nicer" patch. > > Likewise. Given that the patch fixes real problems, I suggest > installing it and waiting for the nicer fix later.
I installed it. Thanks for the reviews.
