Skip to content
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

Update EIP-7723: Escape Latex #9197

Merged
merged 1 commit into from
Dec 27, 2024
Merged

Update EIP-7723: Escape Latex #9197

merged 1 commit into from
Dec 27, 2024

Conversation

timbeiko
Copy link
Contributor

ATTENTION: ERC-RELATED PULL REQUESTS NOW OCCUR IN ETHEREUM/ERCS

--

When opening a pull request to submit a new EIP, please use the suggested template: https://github.com/ethereum/EIPs/blob/master/eip-template.md

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.

@timbeiko timbeiko marked this pull request as ready for review December 27, 2024 17:16
@timbeiko timbeiko requested a review from eth-bot as a code owner December 27, 2024 17:16
@github-actions github-actions bot added c-update Modifies an existing proposal s-review This EIP is in Review t-meta labels Dec 27, 2024
@eth-bot
Copy link
Collaborator

eth-bot commented Dec 27, 2024

✅ All reviewers have approved.

@eth-bot eth-bot changed the title Escape Latex Update EIP-7723: Escape Latex Dec 27, 2024
@eth-bot eth-bot enabled auto-merge (squash) December 27, 2024 17:17
Copy link
Collaborator

@eth-bot eth-bot left a comment

Choose a reason for hiding this comment

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

All Reviewers Have Approved; Performing Automatic Merge...

@eth-bot eth-bot merged commit 7536f3a into ethereum:master Dec 27, 2024
15 of 22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c-update Modifies an existing proposal s-review This EIP is in Review t-meta
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants