[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffe
|
From: |
Eli Zaretskii |
|
Subject: |
bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers |
|
Date: |
Sat, 04 Nov 2023 10:05:52 +0200 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: 66697@debbugs.gnu.org
> Date: Tue, 24 Oct 2023 15:18:47 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> [...]
>
> > Sounds right, but don't you get byte-compiler warnings about
> > desktop-files-not-to-save not being known?
>
> I did not get a warning about desktop-files-not-to-save but I get one
> about shadowing dired-directory. So I fixed the patch with this new
> one.
Thanks, installed on master, and closing the bug.