Re: doc: Stop deadnaming Sarah Manthey

[Sarah Manthey]

There was a fourth instance, in ChangeLog.3, I believe.

On Sat, Mar 12, 2022 at 2:34 PM Paul Eggert <egg...@cs.ucla.edu> wrote:

> OK, I installed the attached; if there are mistakes please let us know.