assigned to @benoit
created merge request !1 (merged) to address this issue
mentioned in merge request !1 (merged)
mentioned in commit aa0e8740
closed with merge request !1 (merged)