one more tweak...
approved this merge request
enabled an automatic merge when the pipeline for 15b442dd succeeds
mentioned in commit 908af566
merged