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

Silence warnings about extra semicolon in non-TSAN builds. #13820

Merged
merged 4 commits into from
Sep 1, 2023

Conversation

zhangskz
Copy link
Member

@zhangskz zhangskz commented Sep 1, 2023

Fixes #13787

PiperOrigin-RevId: 561528198

Backport of 0cf3b66

@zhangskz zhangskz requested review from a team as code owners September 1, 2023 16:15
@zhangskz zhangskz requested review from esorot and ericsalo and removed request for a team September 1, 2023 16:15
@zhangskz zhangskz added the 🅰️ safe for tests Mark a commit as safe to run presubmits over label Sep 1, 2023
@zhangskz zhangskz requested review from mkruskal-google and removed request for esorot and ericsalo September 1, 2023 16:17
@github-actions github-actions bot removed the 🅰️ safe for tests Mark a commit as safe to run presubmits over label Sep 1, 2023
@zhangskz zhangskz added the 🅰️ safe for tests Mark a commit as safe to run presubmits over label Sep 1, 2023
@github-actions github-actions bot removed the 🅰️ safe for tests Mark a commit as safe to run presubmits over label Sep 1, 2023
@zhangskz zhangskz requested a review from a team as a code owner September 1, 2023 18:57
@zhangskz zhangskz requested review from jtattermusch and removed request for a team September 1, 2023 18:57
@zhangskz zhangskz added the 🅰️ safe for tests Mark a commit as safe to run presubmits over label Sep 1, 2023
@github-actions github-actions bot removed the 🅰️ safe for tests Mark a commit as safe to run presubmits over label Sep 1, 2023
@zhangskz zhangskz merged commit 3465661 into protocolbuffers:24.x Sep 1, 2023
128 of 129 checks passed
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.

None yet

2 participants