GitHub <noreply at github.com>
Gavin John <gavinnjohn at gmail.com>
Update EIP-5380: Move to Final Merged by EIP-Bot.
GitHub Diff