[Merge] ~ddstreet/ubuntu-dev-tools:lp1984113 into ubuntu-dev-tools:master
mp+428101 at code.launchpad.net
mp+428101 at code.launchpad.net
Mon Aug 22 15:57:23 UTC 2022
The proposal to merge ~ddstreet/ubuntu-dev-tools:lp1984113 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/428101
--
Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:master.
More information about the Ubuntu-reviews
mailing list