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

Mattia Rizzolo mattia at mapreri.org
Thu Sep 12 12:12:04 UTC 2019


Review: Approve


-- 
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.



More information about the Ubuntu-reviews mailing list