From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Thu, 28 Jun 2018 11:22:48 +0000 (+0200)
Subject: Merge branch 'fix_dumps' into dev
X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FProjets%2FPuppet.git;a=commitdiff_plain;h=ffcffbcb52dad28d28a0d36c989182e0716edd53

Merge branch 'fix_dumps' into dev
---

ffcffbcb52dad28d28a0d36c989182e0716edd53