On Sat, Mar 12, 2022 at 12:26 PM Paul Eggert <[email protected]> wrote:
> Thanks, could you please write [email protected] and update them > as to your current name and email address? We have to be a bit careful > about these sorts of things for the usual copyright-law reasons. > I'm assuming you don't want that cross-posted here. Done. > > Also, could you please let me know when your name and/or email address > changed? Our change logs use names and email addresses as of when the > change was made. > The email changed long ago when I left a previous job. That was 2007-12-08. The legal name change took effect 2021-12-09.
