On Tue, Jun 19, 2018 at 11:00:44AM +0200, Philipp Hahn wrote: > @Colin: Please have a look if the new branch is in a suitable shape for > your consumption. Please don't merge yet until the issue mentioned above > is resolved. Thanks.
This seems like a much better shape, thanks. I've left a few preliminary comments on individual commits; I'll do a more complete review once you're at the point of having a working merge request. -- Colin Watson [cjwat...@debian.org]
