created merge request !49 (merged) to address this issue
By Dominique Marcadet on 2019-06-07T07:00:42 (imported from GitLab project)
mentioned in merge request !49 (merged)
By Dominique Marcadet on 2019-06-07T07:00:42 (imported from GitLab project)
closed via merge request !49 (merged)
By Dominique Marcadet on 2019-06-07T07:54:40 (imported from GitLab project)
mentioned in commit 28d2d0b3
By Dominique Marcadet on 2019-06-07T07:54:40 (imported from GitLab project)