include #313 (closed)
assigned to @leufen1
enabled an automatic merge when the pipeline for d3dca8fa succeeds
merged
mentioned in commit ad6db881