created merge request !19 (merged) to address this issue
By Dominique Marcadet on 2019-05-17T07:32:03 (imported from GitLab project)
mentioned in merge request !19 (merged)
By Dominique Marcadet on 2019-05-17T07:32:03 (imported from GitLab project)
closed via merge request !19 (merged)
By Dominique Marcadet on 2019-05-17T14:14:03 (imported from GitLab project)
mentioned in commit 93fca3db
By Dominique Marcadet on 2019-05-17T14:14:03 (imported from GitLab project)