approved this merge request
enabled an automatic merge when the pipeline for 38222a8d succeeds
merged
mentioned in commit 49fbbc4d