mentioned in merge request !13 (merged)
closed with merge request !13 (merged)
closed with commit 4493022b
mentioned in commit 4493022b