just a friendly ping whether this is still on anyone’s radar. I assume that
is a direct consequence of this issue?
On Thu, 1 Sep 2016 13:02:17 +0200 Thomas Lange <la...@informatik.uni-koeln.de>
> >>>>> On Thu, 1 Sep 2016 12:51:30 +0200, Aurelien Jarno <aure...@debian.org>
> >>>>> said:
> > bug to serious. If you don't have time to fix this bug, I can do a
> > non-maintainer upload with the patch which is in the bug log.
> Salut Aurelien,
> feel free to do a NMU.
> regards Thomas