Skip to content

Small documentation follow-up to #47246#48463

Merged
rschu1ze merged 1 commit intomasterfrom
rs/doc-follow-up
Apr 6, 2023
Merged

Small documentation follow-up to #47246#48463
rschu1ze merged 1 commit intomasterfrom
rs/doc-follow-up

Conversation

@rschu1ze
Copy link
Copy Markdown
Member

@rschu1ze rschu1ze commented Apr 6, 2023

Changelog category (leave one):

  • Not for changelog (changelog entry is not required)

@robot-ch-test-poll3 robot-ch-test-poll3 added the pr-not-for-changelog This PR should not be mentioned in the changelog label Apr 6, 2023
@rschu1ze rschu1ze merged commit ef85a54 into master Apr 6, 2023
@rschu1ze rschu1ze deleted the rs/doc-follow-up branch April 6, 2023 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-not-for-changelog This PR should not be mentioned in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants