Closing #4 (closed)
approved this merge request
enabled an automatic merge when the pipeline for 83cffd17 succeeds
mentioned in commit 5c58535e
merged