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

[v14][buddy] Fix docs markup errors #43316

Merged
merged 1 commit into from
Jun 20, 2024
Merged

Conversation

ptgott
Copy link
Contributor

@ptgott ptgott commented Jun 20, 2024

Backports #43223

Backports #43223

Co-authored-by: Alexey Ivanov <[email protected]>
@ptgott ptgott changed the title [v14] Fix docs markup errors [v14][buddy] Fix docs markup errors Jun 20, 2024
@github-actions github-actions bot requested review from codingllama and greedy52 June 20, 2024 20:04
Copy link

The PR changelog entry failed validation: Changelog entry not found in the PR body. Please add a "no-changelog" label to the PR, or changelog lines starting with changelog: followed by the changelog entries for the PR.

@public-teleport-github-review-bot public-teleport-github-review-bot bot removed the request for review from greedy52 June 20, 2024 21:22
@ptgott ptgott added this pull request to the merge queue Jun 20, 2024
Merged via the queue into branch/v14 with commit 545fe48 Jun 20, 2024
25 of 27 checks passed
@ptgott ptgott deleted the paul.gottschling/43223-bp-v14 branch June 20, 2024 21:46
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