EIP-Bot
EIP-Bot copied to clipboard
Pull Request labelled with `updateEIP` instead of `newEIPFile`
See https://github.com/ethereum/EIPs/pull/5313.
Reported by @abcoathup on discord.
This only occurs once the EIP has been approved. See the log for more details.