created merge request !1810 (merged) to address this issue
mentioned in merge request !1810 (merged)
mentioned in commit 443ed26b
closed with merge request !1810 (merged)