also, this closes https://bugs.debian.org/940040 -- https://code.launchpad.net/~ubuntu-dev/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/372627 Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:master.