You should note that debian/source/options contains ‘single-debian-patch’. (But I guess you’ll probably have figured that out by the time you read this.)
You should note that debian/ source/ options contains ‘single- debian- patch’. (But I guess you’ll probably have figured that out by the time you read this.)