Closes #749 (closed)
Checking pipeline status.
enabled an automatic merge when the pipeline for 15e39803 succeeds
merged
mentioned in commit 4039015f