GitHub <noreply at github.com>
Gavin John <gavinnjohn at gmail.com>
Update EIP-1: Move myself to emeritus editors
GitHub Diff