This reverts merge request !11 (merged)
Checking pipeline status.
Merge details
enabled an automatic merge when the pipeline for 31e23ad0 succeeds
merged
mentioned in commit 43ae1ee1