[Merge] ~ddstreet/ubuntu-dev-tools:lp1916633 into ubuntu-dev-tools:master
Mattia Rizzolo
mattia at mapreri.org
Sun May 2 17:51:00 UTC 2021
Review: Approve
--
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/399686
Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:master.
More information about the Ubuntu-reviews
mailing list