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

From: Michael Albinus <[email-masked]>
Date: Tue, 04 Feb 2025 15:56:34 +0100

Michael Albinus <[email-masked]> writes:

Hi Tassilo,

> Thanks. I'll polish the patch, and if nobody objects, I'll push it to
> master in a couple of days.

Pushed to master.

Best regards, Michael.