On 17.06.19 06:53, Helmut Grohne wrote: > Whether I use apt-get source and debdiff or dgit > and git format-patch is a detail on my side.
out of curiosity (and because i usually quite enjoy your patches): do you do use dgit in *your* workflow? fgmadsr IOhannes