Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 6, 2023

Update the versions mentioned in the docs pages.

PR generated by "Update dependencies" workflow. Close and reopen to trigger ci.

@henryiii henryiii closed this Nov 6, 2023
@henryiii henryiii reopened this Nov 6, 2023
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 3dea689 to f8905b3 Compare November 13, 2023 06:11
@henryiii henryiii closed this Nov 13, 2023
@henryiii henryiii reopened this Nov 13, 2023
@henryiii henryiii merged commit 70ccff1 into main Nov 13, 2023
@henryiii henryiii deleted the create-pull-request/patch branch November 13, 2023 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants