created merge request !1759 (merged) to address this issue
mentioned in merge request !1759 (merged)
unassigned @dominik
assigned to @carsten
mentioned in commit 80838242
closed with merge request !1759 (merged)