bug#65046: Error in the "grep" documentation, section "2.1.7 Other Options": "--"

[Helmut Waitzmann]

 Paul Eggert:
> Thanks for reporting that. I installed the attached patch.

 Thank you.

 Kind regards

 Helmut Waitzmann

pgp4zsjGtiBLk.pgp
Description: PGP signature