Subject: Re: bug#54636: dired fails to update subdirs when files are created/deleted/renamed
From: Eli Zaretskii <[email-masked]>
To: Jakub Ječmínek <[email-masked]>
Cc: [email-masked]
Date: Sun, 09 Jul 2023 14:09:58 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> From: Jakub Ječmínek <[email-masked]>
> Date: Sat, 8 Jul 2023 20:31:18 +0200
> 
> I’m going through bug reports to see where I can help and it seems that is particular issue has been
> resolved but never closed? Is there something else waiting to be done?

Nothing more to do; closing.

Thanks for the heads-up.