On 10/30/2017 12:28 PM, Giovanni Mascellani wrote: > Thanks, it works. BTW, can I do this with mh_patchpom, or is it > necessary to use debian/patches (as I have done for now)? You can try but I don't think mh_patchpom supports removing a version.