requested review from @luijben
approved this merge request
enabled an automatic merge when the pipeline for 703304b2 succeeds
merged
mentioned in commit 737771c4