mentioned in commit e1e2d708
By Mathieu Loiseau on 2018-12-12T08:58:53 (imported from GitLab)
closed
By Mathieu Loiseau on 2018-12-12T09:00:27 (imported from GitLab)