On 15 January 2017 at 09:22, Samuel Thibault <sthibault@debian.org> wrote: >> Patch attached. > > Patch was forgotten :) I wanted to wait for bugs.debian.org to assign a bug number first to add that to the patch too but you were too fast! Jeremy