From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 3 Mar 2015 10:50:52 +0000 (+0100)
Subject: Merge branch 'master' of ssh://git.onelab.eu/git/build
X-Git-Tag: 5.3.8~13
X-Git-Url: http://git.onelab.eu/?p=build.git;a=commitdiff_plain;h=8ab3d1a79bd8efe96a6738c38e5bd2c4d283549a

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

8ab3d1a79bd8efe96a6738c38e5bd2c4d283549a