created merge request !17 (merged) to address this issue
By Dominique Marcadet on 2019-07-01T09:23:27 (imported from GitLab project)
mentioned in merge request !17 (merged)
By Dominique Marcadet on 2019-07-01T09:23:27 (imported from GitLab project)
closed via merge request !17 (merged)
By Dominique Marcadet on 2019-07-01T09:32:03 (imported from GitLab project)
mentioned in commit 1d6b9edb
By Dominique Marcadet on 2019-07-01T09:32:03 (imported from GitLab project)