Hi On Wed, 24 Apr 2019 at 21:30, Dylan Aïssi <daissi@debian.org> wrote: > I am preparing the fix [1], I will ping you when it is ready. Uploaded, thanks! For future reference, the general procedure to get a fix into Ubuntu is to attach a patch and subscribe 'ubuntu-sponsors' to the bug. Regards Graham