Got it. Then looks good to me. On Sat, Mar 12, 2022 at 3:28 PM Paul Eggert <[email protected]> wrote:
> On 3/12/22 12:18, Sarah Manthey wrote: > > There was a fourth instance, in ChangeLog.3, I believe. > > Yes, but that one's historical so the historical name and email address > was kept there. >
