On 12/1/22 17:21, Thorsten Glaser wrote:
> Please fix this bug, it’s really bad and embarrassing.

Thanks for reporting it; I wasn't aware of it.

Although you sent your email to 36148@debbugs.gnu.org / 
930247@bugs.debian.9org, your email is reporting a separate bug, and I 
fixed it in the development version of GNU grep by installing the 
attached patch. This patch should appear in the next GNU grep release.

I suggest not closing the original bug reports, since the original bug 
remains. Of course fixes are welcome but they are lower priority.