created merge request !15 (merged) to address this issue
By Dominique Marcadet on 2019-04-30T14:10:03 (imported from GitLab project)
mentioned in merge request !15 (merged)
By Dominique Marcadet on 2019-04-30T14:10:04 (imported from GitLab project)
closed via merge request !15 (merged)
By Dominique Marcadet on 2019-05-01T10:19:06 (imported from GitLab project)
mentioned in commit 92f6cbd7
By Dominique Marcadet on 2019-05-01T10:19:06 (imported from GitLab project)