When this merge request is accepted, this issue will be closed automatically.
created merge request !1731 (merged) to address this issue
mentioned in merge request !1731 (merged)
assigned to @davide
mentioned in commit 49da2298
closed with merge request !1731 (merged)