Subject: Re: bug#25478: [PATCH] Reimplement auto-saving to visited files
From: Stefan Kangas <[email-masked]>
To: Philipp Stephani <[email-masked]>
Cc: [email-masked], [email-masked], Eli Zaretskii <[email-masked]>, [email-masked]
Date: Thu, 1 Oct 2020 05:11:50 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Stefan Kangas <[email-masked]> writes:

> Philipp Stephani <[email-masked]> writes:
>
>> Eli Zaretskii <[email-masked]> schrieb am Sa., 29. Apr. 2017 um 21:21 Uhr:
>>
>>  > 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.
>>
>> 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?

More information was requested, but none was given within 7 weeks, so
I'm closing this bug.  If this is still an issue, please reply to this
email (use "Reply to all" in your email client) and we can reopen the
bug report.

Best regards,
Stefan Kangas