From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Mon, 25 Jun 2018 21:29:44 +0000 (+0200)
Subject: Merge branch 'real_hostname' into dev
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=d60467e093d6cf1170a9cbbc5c03b80b8ec1da4a;p=perso%2FImmae%2FProjets%2FPuppet.git

Merge branch 'real_hostname' into dev
---

d60467e093d6cf1170a9cbbc5c03b80b8ec1da4a