On 2017-01-22 22:46, Michael Stapelberg wrote: > Thanks for the good tips! Answers inline:
Acked-By: Andreas Beckmann <a...@debian.org> > If the patch works for you, could you merge it and apply it on > piuparts.d.o please? Thank you! Holger, we should merge this for 0.76 (not 0.75) and activate it thereafter (starting with sid, and if the output works as desired, for other non-upgrade distros, too). I'll send patches for the config then. We shouldn't close this bug but retitle it for the more general solution initially discussed. Andreas