@sylvain I can't merge
By Jean-Baptiste on 2019-03-12T10:37:32 (imported from GitLab project)
merged
By Jean-Baptiste on 2019-03-12T12:12:50 (imported from GitLab project)
mentioned in commit 2b242ee0
By Jean-Baptiste on 2019-03-12T12:12:51 (imported from GitLab project)