Subject: bug#50207: 28.0.50; ansi-color-compilation-filter and rgrep

From: Augusto Stoffel <[email-masked]>
Date: Wed, 14 Dec 2022 17:32:36 +0100

On Fri,  9 Dec 2022 at 09:20, Juri Linkov wrote:

> Have you tried to replace a number with a marker?  Does it help to fix
> this bug?

I've tried this and, although I think it's sane and should be done
anyway, it didn't solve this bug in particular.