CC @peller @dreher
assigned to @kartmann
changed the description
added bug label
enabled an automatic merge when the pipeline for 3a5222b2 succeeds
merged
mentioned in commit f6b859fa