Skip to content
This repository was archived by the owner on Jun 3, 2025. It is now read-only.

[Cherry-pick] Docs fixes#1045

Merged
markurtz merged 4 commits intorelease/1.5from
cherry_pick_docs
May 26, 2023
Merged

[Cherry-pick] Docs fixes#1045
markurtz merged 4 commits intorelease/1.5from
cherry_pick_docs

Conversation

@KSGulin
Copy link
Copy Markdown
Contributor

@KSGulin KSGulin commented May 26, 2023

Cherry pick #1039, #1041-1043 to 1.5

@KSGulin KSGulin requested a review from a team May 26, 2023 11:25
@KSGulin KSGulin self-assigned this May 26, 2023
@KSGulin KSGulin requested review from DaltheCow, abhinavnmagic and markurtz and removed request for a team May 26, 2023 11:25
@markurtz markurtz merged commit 56b7663 into release/1.5 May 26, 2023
@markurtz markurtz deleted the cherry_pick_docs branch May 26, 2023 13:49
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants