Subject: bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization

From: Eli Zaretskii <[email-masked]>
Date: Tue, 09 Jun 2020 17:24:27 +0300

> From: Simon Lang <[email-masked]>
> Date: Mon, 8 Jun 2020 20:25:06 +0000
> 
> +(defcustom grep-regexp-match "\033\\[0?1;31m\\(.*?\\)\033\\[[0-9]*m"
> +  "Regex definition to identify grep markers to highlight matches.")

Please don't forget the :version tag and the NEWS and the manual
updates.

Thanks.