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.
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.