GitHub <noreply at github.com>
Greg Colvin <greg at colvin.org>
Update EIP-7773: Add EIP-8013 to the list of EIPs Merged by EIP-Bot.
GitHub Diff