New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
1559: Remove deprecated comment #3691
Conversation
The comment is deprecated after ethereum#3681 was merged
@MicahZoltu @timbeiko this wasn't reviewed before merging the "final" status update. |
Good catch - @abdelhamidbakhta can you approve? |
Yeah, I considered blocking merge to final on this PR, but figured since it was a non-normative change it could just merge after final if authors agree to it. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me
@alita-moore This PR was opened against this EIP when it was Last Call, but then it auto-merged after the base EIP became final. What can we do to prevent that in the future? It should have required editor approval (along with author) to merge. |
I suppose the status must always be checked against |
The comment is deprecated after ethereum#3681 was merged
The comment is deprecated after #3681 was merged