Re: [PATCH] Reimplement auto-saving to visited files

[Philipp Stephani]

Eli Zaretskii <address@hidden> schrieb am Sa., 29. Apr. 2017 um 21:21 Uhr:

> From: Philipp Stephani <address@hidden>
> Cc: Philipp Stephani <address@hidden>
> 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.

Thanks, pushed as 4db844a453 and 89159e78bb.