created merge request !51 (merged) to address this issue
By Dominique Marcadet on 2019-06-28T08:47:23 (imported from GitLab project)
mentioned in merge request !51 (merged)
By Dominique Marcadet on 2019-06-28T08:47:24 (imported from GitLab project)
closed via merge request !51 (merged)
By Dominique Marcadet on 2019-06-28T08:50:42 (imported from GitLab project)
mentioned in commit b542db0a
By Dominique Marcadet on 2019-06-28T08:50:42 (imported from GitLab project)