Subject: Re: bug#70019: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
From: Karl Fogel <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked], [email-masked], Dani Moncayo <[email-masked]>
Date: Mon, 22 Apr 2024 17:21:39 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

On 22 Apr 2024, Eli Zaretskii wrote:
>Thanks.  Karl, please install the patch on the master branch, and
>close the bug when you do.

Installed in commit 63765a74f15e, and this email should close the 
report.

Best regards,
-Karl