Merge branch 'master' of git.onelab.eu:/git/nodeconfig