When this merge request is accepted, this issue will be closed automatically.
mentioned in merge request !433 (merged)
mentioned in commit 9e5b8b79
closed with merge request !433 (merged)