Subject: unmerge

From: [email-masked] (Charles A. Roelli)
Date: Tue, 17 Jul 2018 22:09:07 +0200

unmerge 28852
# I had merged 337 and 28852, but on second thoughts,
# they are actually different requests.  (The former is
# about going from a source file position to the position
# of the corresponding diff that changes the source file
# position, while the second is about keeping approx. the
# same position of point when typing "g" in *vc-diff*.)