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

From: Ship Mints <[email-masked]>
Date: Tue, 18 Mar 2025 16:14:57 -0400

On Thu, Mar 6, 2025 at 6:55 AM Michael Albinus <[email-masked]>
wrote:

> Version: 31.1
>
> Hi,
>
> >> Anything remaining to do before installing the most-recent version of
> the
> >> patch?
> >
> > Nobody has complained, so I will do it tomorrow.
>
> Done, closing the bug.
>

Michael, I've attached a tiny follow-on patch that promotes the
bookmark-handler property 'bookmark-inhibit from a scalar to a list.  We
should have suggested this earlier.  Best to take care of this now
before it gets used more widely.

Thank you,

-Stephane