created merge request !21 (merged) to address this issue
By Dominique Marcadet on 2019-07-02T09:05:00 (imported from GitLab project)
mentioned in merge request !21 (merged)
By Dominique Marcadet on 2019-07-02T09:05:01 (imported from GitLab project)
closed via merge request !21 (merged)
By Dominique Marcadet on 2019-07-03T14:16:19 (imported from GitLab project)
closed via commit 08783012
By Dominique Marcadet on 2019-07-03T14:16:19 (imported from GitLab project)