From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 14 Apr 2014 07:59:01 +0000 (+0200)
Subject: Merge branch 'master' of ssh://git.onelab.eu/git/build
X-Git-Tag: 5.3.5~19
X-Git-Url: http://git.onelab.eu/?p=build.git;a=commitdiff_plain;h=1860e024a5ece5339e3aca5b7592473f2e56b210

Merge branch 'master' of ssh://git.onelab.eu/git/build
---

1860e024a5ece5339e3aca5b7592473f2e56b210