Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Commit to trigger a the release workflow on GitHub
When the PR #957 was merged the release workflow was not available on the main branch, so it was not triggered. This commit is a workaround to create an empty PR to merge to allow triggering this workflow.
- Loading branch information