Subject: bug#25478: [PATCH] Reimplement auto-saving to visited files

From: Eli Zaretskii <[email-masked]>
Date: Sat, 29 Apr 2017 22:20:18 +0300

> From: Philipp Stephani <[email-masked]>
> Cc: Philipp Stephani <[email-masked]>
> Date: Sat, 29 Apr 2017 20:49:09 +0200
> 
> +on @code{auto-save-visited-mode}.  See @xref{Auto Save Control} for

@xref itself produces "See", so the "See" before it is unnecessary.

Other than that, I think this can go in.  Thanks for working on this.