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

[Stefan Kangas]

Philipp Stephani <p.stephani2@gmail.com> writes:

> Eli Zaretskii <eliz@gnu.org> schrieb am Sa., 29. Apr. 2017 um 21:21 Uhr:
>
>  > From: Philipp Stephani <p.stephani2@gmail.com>
>  > Cc: Philipp Stephani <phst@google.com>
>  > 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.

It seems like all the patches here were pushed.  Should this therefore
also be closed, or is there more to do here?

Best regards,
Stefan Kangas