Closed mdickinson closed 2 years ago
This PR bumps the version for the 5.2 release.
Note: I'm making a PR to get feedback from the CI (and possibly also from humans). The PR will not be merged. The commit d10438013898042e9178bf4612ae42f24e18d028 will be tagged as 5.2.0 once CI completes.
CI seems happy. Tagging the release.
This PR has done its job. Closing (but keeping the branch for now).
This PR bumps the version for the 5.2 release.
Note: I'm making a PR to get feedback from the CI (and possibly also from humans). The PR will not be merged. The commit d10438013898042e9178bf4612ae42f24e18d028 will be tagged as 5.2.0 once CI completes.