Other misc changes
- IPR form check updated to handle a renamed GitHub account in the legacy unknown-author list (
0d4945d).
tc39/ecma262 · · 1 commit
A small script tweak recognizes a contributor who changed usernames in the legacy commit audit list.
0d4945d).