mentioned in merge request !7 (merged)
closed via commit a062908d
closed via merge request !7 (merged)