579 B
579 B
Fixes #<GitHub-issue-number>.
Make sure all boxes are checked (add x inside the brackets) when you submit your contribution, remove this sentence before doing so.
- This PR is for the
devbranch rather than formaster. - This PR is compliant with the other contributing guidelines as well (if not, please describe why).
- I have thoroughly tested my contribution.
- The code changes are reflected in the documentation at
docs/en/*.
<Description of and rationale behind this PR>