2021-07-28 13:46:43 +02:00
|
|
|
Fixes #<GITHUB_ISSUE_NUMBER>.
|
2016-04-19 22:43:59 +02:00
|
|
|
|
2021-07-28 13:46:43 +02:00
|
|
|
_Make sure all boxes are checked (add x inside the brackets) when you submit your contribution, remove this sentence before doing so._
|
2016-04-19 22:43:59 +02:00
|
|
|
|
2020-09-29 17:37:20 +02:00
|
|
|
- [ ] This PR is for the `dev` branch rather than for the `release` branch.
|
2021-07-28 13:46:43 +02:00
|
|
|
- [ ] This PR is compliant with the [other contributing guidelines](/CONTRIBUTING.md) as well (if not, please describe why).
|
2016-04-19 22:43:59 +02:00
|
|
|
- [ ] I have thoroughly tested my contribution.
|
2019-02-05 21:07:21 +01:00
|
|
|
- [ ] The code changes are reflected in the documentation at `docs/*`.
|
2016-04-19 22:43:59 +02:00
|
|
|
|
2021-07-28 13:46:43 +02:00
|
|
|
_To be completed below: Description of and rationale behind this PR._
|
