Skip to content

Conversation

@95-martin-orion
Copy link
Collaborator

Patch release primarily for #572.

@95-martin-orion
Copy link
Collaborator Author

Now also includes #575.

@95-martin-orion 95-martin-orion merged commit 79a376d into master Dec 19, 2022
@95-martin-orion 95-martin-orion deleted the release-v0_14_1 branch December 19, 2022 19:13
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