created merge request !46 (merged) to address this issue
By Dominique Marcadet on 2019-05-17T07:09:58 (imported from GitLab project)
mentioned in merge request !46 (merged)
By Dominique Marcadet on 2019-05-17T07:09:59 (imported from GitLab project)
closed via merge request !46 (merged)
By Dominique Marcadet on 2019-05-30T13:17:22 (imported from GitLab project)
closed via commit ae71b815
By Dominique Marcadet on 2019-05-30T13:17:22 (imported from GitLab project)