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

From: Manuel Giraud <[email-masked]>
Date: Wed, 01 Nov 2023 11:20:47 +0100

Eli Zaretskii <[email-masked]> 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