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

[CI:DOCS] v4.7.0 RELEASE_NOTES update #20171

Closed
wants to merge 1 commit into from

Conversation

lsm5
Copy link
Member

@lsm5 lsm5 commented Sep 27, 2023

Does this PR introduce a user-facing change?

None

@lsm5
Copy link
Member Author

lsm5 commented Sep 27, 2023

@lsm5 lsm5 changed the title [CI:DOCS} v4.7.0 RELEASE_NOTES update [CI:DOCS] v4.7.0 RELEASE_NOTES update Sep 27, 2023
@lsm5 lsm5 force-pushed the 470-release-notes branch from f5c5d84 to e9de4ee Compare September 27, 2023 12:52
@lsm5
Copy link
Member Author

lsm5 commented Sep 27, 2023

The doc diff is pretty small. I created #20172 with the release notes change.

@lsm5 lsm5 closed this Sep 27, 2023
@lsm5 lsm5 deleted the 470-release-notes branch September 27, 2023 14:28
@github-actions github-actions bot added the locked - please file new issue/PR Assist humans wanting to comment on an old issue or PR with locked comments. label Dec 27, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 27, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
locked - please file new issue/PR Assist humans wanting to comment on an old issue or PR with locked comments.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant