On Tue, May 1, 2018 at 5:07 PM, John Paul Adrian Glaubitz <[email protected]> wrote: > Meh, can't just someone go ahead and apply all this, please?
Could you go ahead and prepare a merge proposal like you suggested on https://bugs.debian.org/887494 ? Thanks, Jeremy Bicha
