Skip to content

Conversation

pmai
Copy link
Contributor

@pmai pmai commented May 13, 2024

No description provided.

@pmai pmai added Bug Problems in the build system, build scripts, etc or faults in the interface. ReadyToMerge This PR has been approved to merge and will be merged by a member of the CCB. labels May 13, 2024
@pmai pmai added this to the V3.7.0 milestone May 13, 2024
@pmai pmai self-assigned this May 13, 2024
@pmai
Copy link
Contributor Author

pmai commented May 13, 2024

As decided by CCB 2024-05-13: Merge as-is.

@pmai pmai merged commit 2c3953b into master May 13, 2024
@pmai pmai deleted the fix/protobuf-min-version-doc branch May 13, 2024 10:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Bug Problems in the build system, build scripts, etc or faults in the interface. ReadyToMerge This PR has been approved to merge and will be merged by a member of the CCB.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant