Revert "Merge branch 'master' into 'paul'" (!9) · Merge requests · Eva Terzago / crocosmautes · GitLab

Paul Lesur requested to merge revert-4d42276a into master May 22, 2018

This reverts merge request !8 (merged)