[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: |
Wed, 01 Nov 2023 11:20:47 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
[...]
> It's on my todo, waiting for possible comments by others. No need to
> ping me yet, since you posted your final version just a few days ago.
Alright and sorry for this. What would be a good ping delay?
--
Manuel Giraud
- bug#66697: 30.0.50; [PATCH] desktop-save-mode with expiring remote buffers,
Manuel Giraud <=