Skip to content

add re2@2025-07-22 #5265

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

add re2@2025-07-22 #5265

wants to merge 4 commits into from
+101 −2

Conversation

j2kun
Copy link
Contributor

@j2kun j2kun commented Jul 20, 2025

No description provided.

@bazel-io
Copy link
Member

Hello @rsc, modules you maintain (re2) have been updated in this PR.
Please review the changes. You can view a diff against the previous version in the "Generate module diff" check.

@j2kun j2kun mentioned this pull request Jul 20, 2025
Open
@j2kun j2kun changed the title add re2@2025-07-17 add re2@2025-07-22 Jul 22, 2025
@j2kun
Copy link
Contributor Author

j2kun commented Jul 22, 2025

@rsc Bumped to 2025-07-22. PTAL, thanks!

@Wyverald Wyverald added the presubmit-auto-run Presubmit jobs will be triggered for new changes automatically without reviewer's approval label Jul 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
presubmit-auto-run Presubmit jobs will be triggered for new changes automatically without reviewer's approval
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@j2kun @bazel-io @Wyverald