GitHub <noreply at github.com>
Noah Litvin <335975+noahlitvin at users.noreply.github.com>
Update EIP-7412: Rename Parts of Interface Merged by EIP-Bot.
GitHub Diff