Skip to content

Conversation

@sevyharris
Copy link
Contributor

This v3.2.0 branch should be merged into stable (which is in pull request #590) and then stable into main, so don't merge this PR when approved. It is just for comparison and review purposes because there are hundreds of commits being merged into stable and it is hard to see the release-specific changes by reviewing #590.

@rwest rwest merged commit b7ff163 into main Aug 8, 2023
@rwest rwest deleted the v3.2.0 branch August 8, 2023 13:44
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