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

Cherry-picked #7928 into 3.14.x #8032

Merged
merged 2 commits into from Nov 12, 2020

Conversation

acozzette
Copy link
Member

No description provided.

@google-cla
Copy link

google-cla bot commented Nov 12, 2020

All (the pull request submitter and all commit authors) CLAs are signed, but one or more commits were authored or co-authored by someone other than the pull request submitter.

We need to confirm that all authors are ok with their commits being contributed to this project. Please have them confirm that by leaving a comment that contains only @googlebot I consent. in this pull request.

Note to project maintainer: There may be cases where the author cannot leave a comment, or the comment is not properly detected as consent. In those cases, you can manually confirm consent of the commit author(s), and set the cla label to yes (if enabled on your project).

ℹ️ Googlers: Go here for more info.

@acozzette
Copy link
Member Author

The CLA is OK because this pull request is just cherry-picking a change that already went through the CLA process (and a trivial update to CHANGES.txt that I added).

@acozzette acozzette merged commit 129a5ed into protocolbuffers:3.14.x Nov 12, 2020
@acozzette acozzette deleted the cherry-pick-7928 branch November 12, 2020 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants