created merge request !48 (merged) to address this issue
By Dominique Marcadet on 2019-05-30T15:40:52 (imported from GitLab project)
mentioned in merge request !48 (merged)
By Dominique Marcadet on 2019-05-30T15:40:52 (imported from GitLab project)
closed via merge request !48 (merged)
By Dominique Marcadet on 2019-05-31T10:24:47 (imported from GitLab project)
mentioned in commit a7ad63f3
By Dominique Marcadet on 2019-05-31T10:24:47 (imported from GitLab project)