When this merge request is accepted, this issue will be closed automatically.
mentioned in merge request !7318 (merged)
closed via merge request !7318 (merged)
mentioned in commit 3addd20d