Status changed to merged
By Romain Bignon on 2017-02-01T22:31:15 (imported from GitLab)
Merged, thanks.
By Romain Bignon on 2017-02-01T22:31:23 (imported from GitLab)