* Hilko Bengen: > I will upload shortly. Thank you! Done. I have just a few tool-related remarks: Since we are working with git anyway, you may find it easier to make more use of the git buildpackage tools, e.g. gbp pq for managing the patch queue and gbp dch to prepare the debian/changelog. Cheers, -Hilko