[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
|
From: |
Dani Moncayo |
|
Subject: |
Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019) |
|
Date: |
Sat, 20 Apr 2024 08:50:30 +0200 |
On Sat, Apr 20, 2024 at 2:54 AM Karl Fogel <kfogel@red-bean.com> wrote:
> Nope, you didn't make any mistake. I see the problem; please try
> this revised version, and thank you for testing.
OK. With this second patch, I don't see the first problem [1]
anymore, but I keep seeing the second one [2].
--
Dani Moncayo
[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70019#5
[2] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70019#8