Paul Eggert wrote: > On 06/21/11 00:15, Stefano Lattarini wrote: >> On Tuesday 21 June 2011, Paul Eggert wrote: >>> Thanks for the bug report. Does this fix your problem? >>> >>> [SNIP] >>> >> Yes, and then the testsuite passes too. > > Thanks, I pushed that into the gzip grunk.
Thanks for cleaning up after me.
