On 9/17/20 12:04 PM, Jim Meyering wrote:
please go ahead and push them.
As that's been done and the bug fixes are now installed, I'm closing both bug reports.
- bug#33552: Possible bug with handling -I option Paul Eggert
- bug#33552: grep patches for "Binary file FOO matche... Paul Eggert
- bug#33552: grep patches for "Binary file FOO ma... Jim Meyering
- bug#33552: bug#29668: grep patches for "Bin... Paul Eggert
- bug#33552: bug#29668: grep patches for "... Jim Meyering
- bug#29668: bug#33552: grep patches for "Bin... Paul Eggert
