created merge request !2 (merged) to address this issue
By Dominique Marcadet on 2019-01-27T10:24:30 (imported from GitLab project)
mentioned in merge request !2 (merged)
By Dominique Marcadet on 2019-01-27T10:24:30 (imported from GitLab project)
closed via merge request !2 (merged)
By Dominique Marcadet on 2019-01-27T14:51:57 (imported from GitLab project)
mentioned in commit 86eb1da0
By Dominique Marcadet on 2019-01-27T14:51:58 (imported from GitLab project)