Skip to content

Minor changes for GitHub issue/PR templates#188

Merged
sebastiangrimberg merged 1 commit intomainfrom sjg/github-ci-updateFeb 7, 2024