From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Tue, 9 Apr 2019 15:23:46 +0000 (+0200)
Subject: Merge branch 'dev'
X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FProjets%2FPuppet.git;a=commitdiff_plain;h=a6b85c75fe7923ea088216f12b004debde051a51

Merge branch 'dev'
---

a6b85c75fe7923ea088216f12b004debde051a51