OK, it turns out to be as simple as that
--- /usr/bin/xzgrep 2012-11-18 20:56:16.000000000 +0100
+++ /usr/bin/xzgrep 2015-03-11 13:36:32.910782756 +0100
@@ -109,7 +109,7 @@
files_with_matches=1;;
(-L | --files-witho*)
files_without_matches=1;;
- (--no-f*)
+ (-h | --no-f*)
no_filename=1;;
(-V | --v | --ve | --ver | --vers | --versi | --versio | --version)
echo "$version" || exit 2
Regards,
Sz.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
