Subject: Re: bug#65039: [PATCH] Add bookmark handler for shell-mode

From: Michael Albinus <[email-masked]>
Date: Wed, 05 Mar 2025 18:21:30 +0100

Ship Mints <[email-masked]> writes:

Hi,

> Anything remaining to do before installing the most-recent version of the
> patch?

Nobody has complained, so I will do it tomorrow.

Best regards, Michael.