Subject: bug#75626: 31.0.50; Dired misses or double-processes files when auto-revert-mode is enabled

From: Tassilo Horn <[email-masked]>
Date: Thu, 06 Feb 2025 20:11:38 +0100

Michael Albinus <[email-masked]> writes:

Hi Michael,

>> Why not go the full way and do it correctly like with this patch:
>
> You're welcome. If you believe it is the better code: change it.

Well, it rules out a possible (but, honestly, quite unlikely) bug, so
I've done that.  Since the two local variables have separate scopes, one
uninterned symbol sufficed (in contrast to my previous patch).

I've tested my recipe again.  Still works.

Bye,
Tassilo