Re: someone else to do the list of acknowledgments

On Wed, Sep 10, 2025 at 11:11 PM Corey Huinker <corey.huinker@gmail.com> wrote:
>
> 516 contributors this cycle vs 462 last cycle.
>
> When name accents/capitalization differed, I went with the string used in the previous year.
>
> Some of the names that come from bug reports and doc fixes are just first names, and the discussion threads shed no
lighton the full name of the person. 
>
> I have a git log that has been "redacted", which is to say that every name attribution has been screened out, as well
asnames of known past contributors, and various other name-looking things that aren't people (ex. Microsoft Windows)
screenedout. Even with all that automation it is still over 50k lines, so if you want to double check that, make sure
youhave a comfy chair. 
>

Andrei Lepikhov
Andrey Lepikhov
refers to the same person, I think.

Masao Fujii
Fujii Masao
refers to the same person too?

Junwang Zhao
Zhao Junwang
refers to the same person too?


"Hacking Discord" wrong?