[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#50207: 28.0.50; ansi-color-compilation-filter and rgrep
|
From: |
Augusto Stoffel |
|
Subject: |
bug#50207: 28.0.50; ansi-color-compilation-filter and rgrep |
|
Date: |
Wed, 14 Dec 2022 17:32:36 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
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.