Manual Merge Queue
No due date
100% complete
Queue of PRs that need to be merged by @ethereum/eip-admins
There are no open issues in this milestone.
Add issues to milestones to help organize your work for a particular release or project.
Create new issueOr find and add issues with no milestone in this repo.