Closed HHHartmann closed 3 years ago
This reverts commit 8e5109d46e39bcc5b3c04e34a22b607e0d4ec2c9.
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.
dev
release
docs/*
\<Description of and rationale behind this PR>
Check done. Sorry for the noise.
This reverts commit 8e5109d46e39bcc5b3c04e34a22b607e0d4ec2c9.
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.
dev
branch rather than for therelease
branch.docs/*
.\<Description of and rationale behind this PR>