Skip to content
This repository was archived by the owner on Aug 29, 2023. It is now read-only.

Conversation

@iand
Copy link
Contributor

@iand iand commented Jan 31, 2023

No description provided.

@iand iand requested a review from a team as a code owner January 31, 2023 11:54
@iand iand requested a review from galargh January 31, 2023 11:54
@galargh
Copy link
Contributor

galargh commented Jan 31, 2023

Thanks @iand ❤️ Could you please confirm @web3-bot has push access to the repo? I'll merge afterwards.

@iand
Copy link
Contributor Author

iand commented Jan 31, 2023

@galargh confimed the bot has access. Thanks!

@galargh galargh merged commit e29713a into protocol:master Jan 31, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants