created merge request !44 (merged) to address this issue
By Dominique Marcadet on 2019-05-13T12:52:12 (imported from GitLab project)
mentioned in merge request !44 (merged)
By Dominique Marcadet on 2019-05-13T12:52:12 (imported from GitLab project)
closed via merge request !44 (merged)
By Dominique Marcadet on 2019-05-13T12:56:25 (imported from GitLab project)
mentioned in commit c17b2412
By Dominique Marcadet on 2019-05-13T12:56:25 (imported from GitLab project)