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

From: Eli Zaretskii <[email-masked]>
Date: Mon, 20 Jan 2025 21:15:46 +0200

> From: Drew Adams <[email-masked]>
> CC: Michael Heerdegen <[email-masked]>,
>         "[email-masked]"
> 	<[email-masked]>,
>         Eli Zaretskii <[email-masked]>
> Date: Mon, 20 Jan 2025 17:32:37 +0000
> 
> An operation on marked files - which really
> means, for this macro, an operation on marked
> _lines_, CAN DO ANYTHING.

Auto-reverting is not something the operation on files does, it is
something that happens behind the operation's back.  It affects the
list of files that the operation wants to map over, and could easily
cause the operation to never terminate.