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

[Eli Zaretskii]

> From: Mark Karpov <markkarpov@openmailbox.org>
> Date: Thu, 09 Jul 2015 19:24:42 +0600
> 
> 
> Any update/decision on this issue? I'm using this for almost a week now
> and it feels all right. Dired now is much more interactive, the problem
> of staled buffers is gone.

We need to come up with a way of telling auto-revert that although the
buffer was modified by the commands you mentioned, it's okay to revert
it.  Can you suggest a change along those lines?