[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: |
Manuel Giraud |
Subject: |
bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers |
Date: |
Tue, 31 Oct 2023 22:14:18 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Manuel Giraud <manuel@ledu-giraud.fr> writes:
> 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.
Hi Eli,
Do you think you could commit it on master?
--
Manuel Giraud
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, (continued)
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/23
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Manuel Giraud, 2023/10/24
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers,
Manuel Giraud <=
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers, Eli Zaretskii, 2023/10/31