Automatically merged updates to draft EIP(s) 712 (#3040)
Hi, I'm a bot! This change was automatically merged because:
- It only modifies existing Draft or Last Call EIP(s)
- The PR was approved or written by at least one author of each modified EIP
- The build is passing
GitHub Diff