Skip to content

[v11] Bump Buf to 1.18.0#25890

Merged
codingllama merged 1 commit intobranch/v11from
bot/backport-25808-branch/v11
May 10, 2023
Merged

[v11] Bump Buf to 1.18.0#25890
codingllama merged 1 commit intobranch/v11from
bot/backport-25808-branch/v11

Conversation

@codingllama
Copy link
Copy Markdown
Contributor

Backport #25808 to branch/v11

@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
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks May 9, 2023
@codingllama codingllama added this pull request to the merge queue May 9, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks May 10, 2023
@codingllama codingllama added this pull request to the merge queue May 10, 2023
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks May 10, 2023
@codingllama codingllama added this pull request to the merge queue May 10, 2023
Merged via the queue into branch/v11 with commit 61eea6f May 10, 2023
@codingllama codingllama deleted the bot/backport-25808-branch/v11 branch May 10, 2023 15:36
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