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.