Skip to content

Conversation

@weibullguy
Copy link
Member

@weibullguy weibullguy commented May 23, 2023

Release to fix issues #215, #218, and #219.

Anyone choosing to try the release candidates, please report any problems here.

Closes #231

@weibullguy weibullguy added V: patch Bumps the patch version release Announces and tracks release candidate labels May 23, 2023
@weibullguy weibullguy merged commit 4f8b39a into master Jun 7, 2023
@weibullguy weibullguy deleted the release/v1.7.2 branch June 7, 2023 03:01
@weibullguy weibullguy added the S: merged Closed with work merged to repository label Jun 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Announces and tracks release candidate S: merged Closed with work merged to repository V: patch Bumps the patch version

Projects

None yet

Development

Successfully merging this pull request may close these issues.

release: v1.7.2 [Community Feedback]

2 participants