created merge request !18 (merged) to address this issue
By Dominique Marcadet on 2019-05-14T07:47:56 (imported from GitLab project)
mentioned in merge request !18 (merged)
By Dominique Marcadet on 2019-05-14T07:47:56 (imported from GitLab project)
closed via merge request !18 (merged)
By Dominique Marcadet on 2019-05-14T07:58:29 (imported from GitLab project)
mentioned in commit 9db9373a
By Dominique Marcadet on 2019-05-14T07:58:30 (imported from GitLab project)