Merge branch 'master' of git.onelab.eu:/git/infrastructure
authorCiro Scognamiglio <c.scognamiglio@cslash.net>
Wed, 11 Jul 2012 15:50:18 +0000 (17:50 +0200)
committerCiro Scognamiglio <c.scognamiglio@cslash.net>
Wed, 11 Jul 2012 15:50:18 +0000 (17:50 +0200)

Trivial merge