bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers

[Eli Zaretskii]

> Date: Sat, 9 Dec 2023 15:24:54 +0000
> Cc: 66697@debbugs.gnu.org
> From: Andy Moreton <andrewjmoreton@gmail.com>
> 
> On 09/12/2023 13:16, Eli Zaretskii wrote:
> >> From: Manuel Giraud <manuel@ledu-giraud.fr>
> >> Cc: 66697@debbugs.gnu.org,  andrewjmoreton@gmail.com
> >> Date: Sat, 09 Dec 2023 13:05:24 +0100
> >>
> >> Eli Zaretskii <eliz@gnu.org> writes:
> >>
> >> [...]
> >>
> >>> Thanks, but I wonder whether a better way would be to modify
> >>> dired-desktop-save-p such that it handled correctly non-string values
> >>> of desktop-files-not-to-save?  That would make the handling of this
> >>> variable more local, which is better for maintenance, I think.
> >>>
> >>> WDYT?
> >> Sure.  Good idea.  Here is a new version.
> > Thanks, installed.
> >
> > Andy, please test.
> 
> All good, and the new patch is a cleaner fix.

Thanks, closing.