On Sat, 2012-02-11 at 11:41:58 +0100, Stefano Zacchiroli wrote: > That is a bug and ought to be fixed in its own right. Then, the > discussion of how much we should rely on it or not is a different one, > but it's good to separate the concerns.
As mentioned on the summary, this is not specific to gzip (even if gzip could pickup development in the future), it is a general problem that extends to any other compressors and generated files too, for example docs (POD, html, etc), etc. guillem -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120211132523.gb19...@gaara.hadrons.org
