created merge request !39 (merged) to address this issue
By Dominique Marcadet on 2019-04-01T12:41:43 (imported from GitLab project)
mentioned in merge request !39 (merged)
By Dominique Marcadet on 2019-04-01T12:41:43 (imported from GitLab project)
closed via merge request !39 (merged)
By Dominique Marcadet on 2019-04-01T12:51:10 (imported from GitLab project)
closed via commit a6481eeb
By Dominique Marcadet on 2019-04-01T12:51:10 (imported from GitLab project)