Skip to content

[v13] Bump Buf to 1.18.0#25888

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

[v13] Bump Buf to 1.18.0#25888
codingllama merged 1 commit intobranch/v13from
bot/backport-25808-branch/v13

Conversation

@codingllama
Copy link
Copy Markdown
Contributor

Backport #25808 to branch/v13

@public-teleport-github-review-bot public-teleport-github-review-bot Bot removed the request for review from mdwn May 9, 2023 16:54
@codingllama codingllama added this pull request to the merge queue May 9, 2023
Merged via the queue into branch/v13 with commit 260f7e0 May 9, 2023
@codingllama codingllama deleted the bot/backport-25808-branch/v13 branch May 9, 2023 20:29
@r0mant r0mant mentioned this pull request Jul 14, 2023
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