This reverts merge request !121 (merged)
approved this merge request
enabled an automatic merge when the pipeline for aa5b0d06 succeeds
merged
mentioned in commit d3c917d5