Closed hs-jenkins-bot closed 4 years ago
To complete the release:
Merge this PR
Add some release notes and publish the GitHub release
To complete the release:
Merge this PR
Add some release notes and publish the GitHub release