Skip to content

Conversation

@MJW08091415
Copy link
Contributor

@MJW08091415 MJW08091415 commented Jan 4, 2024

We have a GitHub bot that automatically merges some PRs. It will merge yours immediately if certain criteria are met:

  • The PR edits only existing draft PRs.
  • The build passes.
  • Your GitHub username or email address is listed in the 'author' header of all affected PRs, inside .
  • If matching on email address, the email address is the one publicly listed on your GitHub profile.

@eip-review-bot
Copy link
Collaborator

eip-review-bot commented Jan 4, 2024

File ERCS/erc-2135.md

Requires 1 more reviewers from @xinbenlv
Requires 2 more reviewers from @axic, @gcolvin, @lightclient, @SamWilsn

@eip-review-bot eip-review-bot changed the title Update ERC-2135 : fix typo Update ERC-2135: fix typo Jan 4, 2024
@SamWilsn SamWilsn merged commit a960f07 into ethereum:master Jan 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants