bug#31280: zgrep foo binaryfilepath says "Binary file (standard input) matches"

[Paul Eggert]

Thanks for your bug report. This bug should be fixed in gzip 1.12, 
released today. The bug fix is here:

https://git.savannah.gnu.org/cgit/gzip.git/commit/?id=9d3248751178939713a39115cf68ec8a11506cc9