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

From: Michael Albinus <[email-masked]>
Date: Wed, 19 Mar 2025 17:00:45 +0100

Ship Mints <[email-masked]> writes:

Hi,

>     Right. Done in the attached patch. Thanks, again.
>
> I like this wording better...

Pushed to master.

Best regards, Michael.