From: Mohamed Larabi <mohamed.larabi@inria.fr>
Date: Thu, 7 Feb 2013 15:39:43 +0000 (+0100)
Subject: Merge branch 'master' of git.onelab.eu:/git/build
X-Git-Tag: 5.2.1~71^2~1
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=2f74a1f3a1b8a9274c8950c3a11a2248f5f3e65f;hp=-c;p=build.git

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

2f74a1f3a1b8a9274c8950c3a11a2248f5f3e65f