This change seems better to push to Debian rather than having a divergence. Jonathan, please forward your debdiff to Debian BTS and link here when that's done.
This change seems better to push to Debian rather than having a divergence. Jonathan, please forward your debdiff to Debian BTS and link here when that's done.