assigned to @leufen1
enabled an automatic merge when the pipeline for 547cfcc3 succeeds
merged
mentioned in commit 56e6b78a