Hi, just a friendly ping whether this is still on anyone’s radar. I assume that #837026 [1] is a direct consequence of this issue?
Cheers Sascha [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837026 On Thu, 1 Sep 2016 13:02:17 +0200 Thomas Lange <la...@informatik.uni-koeln.de> wrote: > >>>>> 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 > >
