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

Mattia Rizzolo mattia at mapreri.org
Tue May 15 18:56:14 UTC 2018


Review: Needs Fixing

As I wrote in #1453330 I'm going to just merge it and trust you'll keep up with it.

Could you please:
1) add an appropriate changelog entry
2) close all the relevant bugs.  Are they really only lp #1453330 and debian #854010 with such a big rewrite?
-- 
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/322863
Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:master.



More information about the Ubuntu-reviews mailing list