enabled an automatic merge when the pipeline for b09cc192 succeeds
LGTM. Thanks for working on this!
merged
mentioned in commit af7c67f1