Description of Issue
Proposed Solution (if applicable)
Note: PRs are always sincerely appreciated! If fixing an issue, simply do fixes #{COMMIT_NUMBER}, i.e. fixes #20, and Github will automatically close the issue when the PR is merged.
Thank you for your contribution(s)!
Description of Issue
Proposed Solution (if applicable)
Note: PRs are always sincerely appreciated! If fixing an issue, simply do
fixes #{COMMIT_NUMBER}, i.e.fixes #20, and Github will automatically close the issue when the PR is merged.Thank you for your contribution(s)!