bug#27243: another case: dired-auto-revert-buffer jumps point to beginning of buffer

[Eli Zaretskii]

> Date: Fri, 28 Jul 2017 16:14:50 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: stephen.berman@gmx.net, antoine.levitt@gmail.com, 
>  27243@debbugs.gnu.org
> 
>  >> Doesn't this already happen, and will continue happening after the
>  >> proposed change?
>  >
>  > Yes.
> 
> Here it doesn't already happen and will not continue happening
> after the proposed change.

As long as the current behavior doesn't change, it's fine with me.

Thanks.