Review: Approve Merged. I added "Closes: #969510" to the commit that fixes it. -- https://code.launchpad.net/~hyask/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/468091 Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:main.