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

noreply at launchpad.net noreply at launchpad.net
Thu Feb 20 22:19:26 UTC 2020


The proposal to merge ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:lp1862286 into ubuntu-dev-tools:master has been updated.

    Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/378722
-- 
Your team Ubuntu Development Team is requested to review the proposed merge of ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:lp1862286 into ubuntu-dev-tools:master.



More information about the Ubuntu-reviews mailing list