Skip to content
This repository was archived by the owner on Oct 7, 2024. It is now read-only.

9.0.0#186

Merged
adonesky1 merged 3 commits intomainfrom
release/9.0.0
Dec 19, 2022
Merged

9.0.0#186
adonesky1 merged 3 commits intomainfrom
release/9.0.0

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

This is the release candidate for version 9.0.0.

github-actions and others added 2 commits December 16, 2022 18:39
@Gudahtt Gudahtt marked this pull request as ready for review December 16, 2022 19:50
@Gudahtt Gudahtt requested a review from a team as a code owner December 16, 2022 19:50
@Gudahtt Gudahtt requested a review from adonesky1 December 16, 2022 19:51
Copy link
Copy Markdown
Contributor

@adonesky1 adonesky1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One small typo but otherwise LGTM!

Co-authored-by: Alex Donesky <adonesky@gmail.com>
Copy link
Copy Markdown
Contributor

@adonesky1 adonesky1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@adonesky1 adonesky1 merged commit 84a768a into main Dec 19, 2022
@adonesky1 adonesky1 deleted the release/9.0.0 branch December 19, 2022 21:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants