created merge request !40 (merged) to address this issue
By Dominique Marcadet on 2019-04-01T12:52:08 (imported from GitLab project)
mentioned in merge request !40 (merged)
By Dominique Marcadet on 2019-04-01T12:52:08 (imported from GitLab project)
closed via merge request !40 (merged)
By Dominique Marcadet on 2019-04-01T14:57:08 (imported from GitLab project)
mentioned in commit 46fd7de8
By Dominique Marcadet on 2019-04-01T14:57:08 (imported from GitLab project)