On Fri, May 13 2016, Laurent Bigonville <bi...@debian.org> wrote: > Can you please try the patch that has been attached to the bug and tell > me if it's fixing your issue? > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=823184#44
Sorry for the delay, but I wanted to actually give it a try before giving feedback. Indeed, that obviously fixes the problem. So is this actually a patch local to debian now?