* Mike Miller <mtmil...@debian.org> [2014-10-08 08:49]:
On Wed, Oct 08, 2014 at 00:22:31 +0200, Rafael Laboissiere wrote:
That said, I would follow Sébastien's suggestion and disable compression of
info files for jessie.
I'm probably a bit biased by seeing the 3.8 GUI as a best-effort
experimental feature, and that this will hopefully be fixed by 4.0. But
I agree this would also be fixed now by simply bypassing compression of
the info pages temporarily, which just opens a non-RC policy-compliance
bug.
Sounds like you're both in favor, so fine with me.
I fixed it in commit ae7aec8. We should upload version 3.8.2-3 soon to
unstable. I am feeling already a chilling breeze...
Rafael
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org