assigned to @seitz and unassigned @bauer
enabled an automatic merge when the pipeline for 9b4a480b succeeds
canceled the automatic merge
merged
mentioned in commit 2b6ae723