Subject: Re: bug#74502: grep.in.1: Some remarks about this man page

From: Paul Eggert <[email-masked]>
Date: Sat, 23 Nov 2024 18:17:39 -0800

Thanks, but that's a recently-introduced groff bug. I reported it here:

https://savannah.gnu.org/bugs/index.php?66481