Quelle PULL_REQUEST_TEMPLATE.md
Sprache: unbekannt
<!-- Thank you for your contribution.
Make sure you read the contributing guide and fill this template. -->
<!-- If this is a bug fix, make sure the bug was reported beforehand. -->
Fixes / closes #????
<!-- Remove anything that doesn't apply in the following checklist. -->
<!-- If there is a user-visible change and testing is not prohibitively expensive: -->
- [ ] Added / updated **test-suite**.
<!-- If this is a feature pull request / breaks compatibility: -->
- [ ] Added **changelog**.
- [ ] Added / updated **documentation**.
<!-- Check if the following applies, otherwise remove these lines. -->
- [ ] Documented any new / changed **user messages**.
- [ ] Updated **documented syntax** by running `make doc_gram_rsts`.
<!-- If this breaks external libraries or plugins in CI: -->
- [ ] Opened **overlay** pull requests.
<!-- Pointers to relevant developer documentation:
