Michael, patch looks good. Mind adjusting your debdiff as per https://wiki.ubuntu.com/DebianMaintainerField?
Michael, patch looks good. Mind adjusting your debdiff as per https:/ /wiki.ubuntu. com/DebianMaint ainerField?