bug#27243: closed (Re: bug#27243: dired-auto-revert-buffer jumps point to beginning of buffer)

[Eli Zaretskii]

> From: John Wiegley <jwiegley@gmail.com>
> Cc: Antoine Levitt <antoine.levitt@gmail.com>,  27243@debbugs.gnu.org,  Eli 
> Zaretskii <eliz@gnu.org>
> Date: Fri, 14 Jul 2017 22:52:18 -0700
> 
> >>>>> Stephen Berman <stephen.berman@gmx.net> writes:
> 
> > Thanks for confirming. I think this is the right fix and would commit it,
> > but since this exchange has taken place in a closed bug, it may have fallen
> > under the radar, so I'd like an explicit go-ahead. Eli, John?
> 
> At first glance it looks OK to me, though I defer to Eli's experience in such
> matters.

No objections here.

Thanks.