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

From: martin rudalics <[email-masked]>
Date: Fri, 28 Jul 2017 16:14:50 +0200

>> 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.

 > I was just pointing out that it's not quite true that "anything else
 > would be an inconsistency".

It's quite true here.

martin