created merge request !14 (merged) to address this issue
By Dominique Marcadet on 2019-06-24T14:32:05 (imported from GitLab project)
mentioned in merge request !14 (merged)
By Dominique Marcadet on 2019-06-24T14:32:06 (imported from GitLab project)
closed via merge request !14 (merged)
By Dominique Marcadet on 2019-06-26T07:26:21 (imported from GitLab project)
mentioned in commit 50f580c5
By Dominique Marcadet on 2019-06-26T07:26:21 (imported from GitLab project)