Closed github-actions[bot] closed 3 years ago
Merge this PR to update version number in master and release a new version.
CI fixes
Release 1.5.2
Merge this PR to update version number in master and release a new version.
Release notes
CI fixes