[Merge] ubuntu-dev-tools:ubuntutools-misc into ubuntu-dev-tools:master

[noreply at launchpad.net]

The proposal to merge ubuntu-dev-tools:ubuntutools-misc into ubuntu-dev-tools:master has been updated.

    Status: Needs review => Merged

For more details, see:
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.