[Merge] ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:lp1862372 into ubuntu-dev-tools:master

Dan Streetman ddstreet at canonical.com
Thu Feb 13 22:54:29 UTC 2020


this is wrapped up into:
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/378722
-- 
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/378746
Your team Ubuntu Development Team is requested to review the proposed merge of ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:lp1862372 into ubuntu-dev-tools:master.



More information about the Ubuntu-reviews mailing list