Skip to content

Conversation

lstein
Copy link
Collaborator

@lstein lstein commented Aug 30, 2023

What type of PR is this? (check all applicable)

This is the 3.1.0 release candidate. Minor bugfixes will be applied here during testing and then merged into main upon release.

@lstein lstein merged commit a74e210 into main Aug 31, 2023
@lstein lstein deleted the release/3.1.0-rc1 branch August 31, 2023 17:34
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.

3 participants