Open Isaac-Hirsch opened 2 months ago
IMPORTANT: Please do not create a Pull Request without creating an issue first.
Any change needs to be discussed before proceeding. Failure to do so may result in the rejection of the pull request.
What kind of change does this PR introduce?
Does this PR introduce a breaking change?
What needs to be documented once your changes are merged?
Closing issues
Put closes #XXXX in your comment to auto-close the issue that your PR fixes (if such).
closes #XXXX
IMPORTANT: Please do not create a Pull Request without creating an issue first.
Any change needs to be discussed before proceeding. Failure to do so may result in the rejection of the pull request.
What kind of change does this PR introduce?
Does this PR introduce a breaking change?
What needs to be documented once your changes are merged?
Closing issues
Put
closes #XXXX
in your comment to auto-close the issue that your PR fixes (if such).