Skip to content

Conversation

@marioevz
Copy link
Member

@marioevz
Copy link
Member Author

Hi, I have no write access so I can't merge myself, but I was wondering if there's anything left to do to merge?

Copy link
Member

@lightclient lightclient left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Usually I let @mkalinin merge these, but I can merge this in morning if he doesn't chime in between now and then.

@mkalinin
Copy link
Contributor

Sorry for the delay! Pushing the button...

@mkalinin mkalinin merged commit fe8e13c into ethereum:main Aug 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants