assigned to @j.wuttke
mentioned in merge request !1680 (merged)
mentioned in commit 1745a525
closed with merge request !1680 (merged)