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

From: Andy Moreton <[email-masked]>
Date: Sat, 9 Dec 2023 15:24:54 +0000

On 09/12/2023 13:16, Eli Zaretskii wrote:
>> From: Manuel Giraud <[email-masked]>
>> Cc: [email-masked],  [email-masked]
>> Date: Sat, 09 Dec 2023 13:05:24 +0100
>>
>> Eli Zaretskii <[email-masked]> 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,

     AndyM