assigned to @dominik
created merge request !1912 (merged) to address this issue
mentioned in merge request !1912 (merged)
mentioned in commit 708b5803
closed with merge request !1912 (merged)