[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