From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 21 Feb 2013 10:19:48 +0000 (+0100)
Subject: Merge branch 'master' of ssh://git.onelab.eu/git/build
X-Git-Tag: 5.2.1~41
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=7fdcb980506a04b343508700163cdaba86d916b7;p=build.git

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

7fdcb980506a04b343508700163cdaba86d916b7