Backport of !727 (merged)
Pipeline #28690701 passed
Pipeline passed for c3ebd59a on tristan/doc-fix-deprecations-1.2 6 years ago
Pipeline #28692003 passed
Pipeline passed for 81261e3c on bst-1.2 6 years ago
enabled an automatic merge when the pipeline for c3ebd59a succeeds
merged
mentioned in commit 81261e3c