The following patch works for me: --- /bin/zgrep~ 2012-03-19 11:44:26.000000000 +0100 +++ /bin/zgrep 2012-04-12 10:04:26.290833443 +0200 @@ -138,7 +138,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)
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org