Skip to content

Release 12.0.0#290

Merged
Theodus merged 1 commit intomainfrom
release
Mar 14, 2023
Merged

Release 12.0.0#290
Theodus merged 1 commit intomainfrom
release

Conversation

@Theodus
Copy link
Member

@Theodus Theodus commented Mar 14, 2023

Release Notes

@Theodus Theodus marked this pull request as ready for review March 14, 2023 15:21
@Theodus Theodus merged commit 682e84e into main Mar 14, 2023
@Theodus Theodus deleted the release branch March 14, 2023 15:21
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.

1 participant