Subject: Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)

From: Dani Moncayo <[email-masked]>
Date: Sat, 20 Apr 2024 08:50:30 +0200

On Sat, Apr 20, 2024 at 2:54 AM Karl Fogel <[email-masked]> 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