Skip to content

[v12] Bump Buf to 1.18.0#25889

Merged
codingllama merged 1 commit intobranch/v12from
bot/backport-25808-branch/v12
May 9, 2023
Merged

[v12] Bump Buf to 1.18.0#25889
codingllama merged 1 commit intobranch/v12from
bot/backport-25808-branch/v12

Conversation

@codingllama
Copy link
Copy Markdown
Contributor

Backport #25808 to branch/v12

@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from mdwn May 9, 2023 16:55
@codingllama codingllama added this pull request to the merge queue May 9, 2023
Merged via the queue into branch/v12 with commit 3ac2af1 May 9, 2023
@codingllama codingllama deleted the bot/backport-25808-branch/v12 branch May 9, 2023 20:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants