Closed JTWendelborn closed 4 years ago
fyi, if you write something like fix #80 in the description text (caption isn't enough) github will automatically close that issue on PR merge.
fix #80
See https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords
fyi, if you write something like
fix #80in the description text (caption isn't enough) github will automatically close that issue on PR merge.See https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords