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