Subject: bug#59888: [PATCH] Add 'grep-use-headings'

From: Juri Linkov <[email-masked]>
Date: Mon, 27 Feb 2023 21:15:57 +0200

close 59888 30.0.50
thanks

>> I tried out your patch, and everything works nicely.
>> So I guess it could be pushed when you send the final version.
>
> There you go :-)

Thanks for this useful feature.  Now pushed to master.
(And immediately customized it to t ;-)