This reverts merge request !3 (merged)
approved this merge request
enabled an automatic merge when the pipeline for 8e0c6ab5 succeeds
merged
mentioned in commit ed5c75fb