This reverts merge request !94 (merged)
Checking pipeline status.
enabled an automatic merge when the pipeline for 4275c106 succeeds
mentioned in commit e92969f7
merged