Hello, The bug (# 40489) that was blocking it is resolved since October 2009 and I find no Debian-specific patch that changes gzip.texi, so I think this bug can be closed without problems.
Regards, -- Stéphane Aulery -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
