Closed mkuehbach closed 3 weeks ago
One more general comment: you can write fixes #13 into the PR description, then the issues gets closed automatically. Doesn't work with the PR title, I think.
One more general comment: you can write fixes #13 into the PR description, then the issues gets closed automatically. Doesn't work with the PR title, I think.