Closed salvafern closed 1 year ago
@salvafern I modified the first comment of your PR to "link it" to the issue so that merging the PR will close the issue, see https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword
Fix #151