created merge request !45 (merged) to address this issue
By Dominique Marcadet on 2019-05-14T07:40:38 (imported from GitLab project)
mentioned in merge request !45 (merged)
By Dominique Marcadet on 2019-05-14T07:40:38 (imported from GitLab project)
closed via merge request !45 (merged)
By Dominique Marcadet on 2019-05-14T07:46:36 (imported from GitLab project)
mentioned in commit b4f3998e
By Dominique Marcadet on 2019-05-14T07:46:37 (imported from GitLab project)