created merge request !64 (merged) to address this issue
By Jean-Baptiste on 2019-06-03T09:27:25 (imported from GitLab project)
mentioned in merge request !64 (merged)
By Jean-Baptiste on 2019-06-03T09:27:26 (imported from GitLab project)
closed via merge request !64 (merged)
By Jean-Baptiste on 2019-06-03T09:37:59 (imported from GitLab project)
mentioned in commit 5a65358d
By Jean-Baptiste on 2019-06-03T09:37:59 (imported from GitLab project)