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

[Dan Streetman]

Dan Streetman has proposed merging ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:work into ubuntu-dev-tools:master.

Requested reviews:
  Ubuntu Development Team (ubuntu-dev)

For more details, see:
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/379852
-- 
Your team Ubuntu Development Team is requested to review the proposed merge of ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:work into ubuntu-dev-tools:master.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: review-diff.txt
Type: text/x-diff
Size: 28329 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-reviews/attachments/20200225/2e8234db/attachment-0001.diff>