bug#20943: 25.0.50; Dired buffers are not always auto-reverted

[Eli Zaretskii]

> From: Mark Karpov <markkarpov@openmailbox.org>
> Cc: michael.albinus@gmx.de, 20943@debbugs.gnu.org
> Date: Fri, 10 Jul 2015 12:20:47 +0600
> 
> This feature certainly requires more re-reads by definition.

Which is why I used "unnecessary".

> There will be no “unnecessary” re-reads, however:

Yes, there could be: the ideal solution of the conundrum with using
Copy, Delete, and Rename commands in the Dired buffer would be to
re-read the directory, instead of leaving the modified files near
point.  But the price is the need to re-read remote directories, and
we want to avoid that price, if possible.

That is what I alluded to, nothing else.