Subject: Re: bug#1853: Trouble with gzipped info files on Windows
From: Eli Zaretskii <[email-masked]>
To: [email-masked]
Date: Sat, 24 Jan 2009 17:39:35 +0200

Fixed with the change in my latest message on this subject.