This reverts merge request !6 (merged)
approved this merge request
enabled an automatic merge when the pipeline for b4c3f5d2 succeeds
merged
mentioned in commit 3fa01a2e