#876884 dctrl-tools: please add a grep-sources command

Package:
dctrl-tools
Source:
dctrl-tools
Description:
Command-line tools to process Debian package information
Submitter:
Antonio Terceiro
Date:
2017-09-26 17:54:04 UTC
Severity:
wishlist
#876884#5
Date:
2017-09-26 17:51:42 UTC
From:
To:
Hi,

More than a year ago I submitted a patch upstream to include a
"grep-sources" command in dctrl-tools:
https://github.com/ajkaijanaho/dctrl-tools/pull/1

I hoped we could have that for stretch, but that didn't happen. Maybe we
want to carry this patch in Debian?

I'm attaching the patch as well.