Bug#1038121: tracker.debian.org: debian/patches check vs. single-debian-patch in debian/source/local-options

[Thorsten Glaser <tg@mirbsd.de>]

reassign 1038121 dpkg-dev
thanks

Raphael Hertzog dixit:

>So maybe it's dpkg-source that needs to be tweaked so that such patches
>have a field "Forwarded: not-needed" and an explanation that the patch
>is an auto-generated mess that can't be forwarded as is.

I guess so. I was thinking along these lines, and if the patch tracker
has no other way to distinguish these (it’s in local-options, so it
probably does not) then yes, that’s most likely the right solution.

>Can you name a sample package affected by this please?

src:mksh

bye,
//mirabilos
-- 
ed, man! man ed!