From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Fri, 13 Jul 2018 11:24:24 +0000 (+0200)
Subject: Merge branch 'dev'
X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FProjets%2FPuppet.git;a=commitdiff_plain;h=98418747287dca98cb474f7d4197a94e0665dcb0

Merge branch 'dev'
---

98418747287dca98cb474f7d4197a94e0665dcb0