Merge branch 'master' of ssh://git.onelab.eu/git/nodeupdate
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Dec 2015 10:00:09 +0000 (11:00 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Dec 2015 10:00:09 +0000 (11:00 +0100)
* 'master' of ssh://git.onelab.eu/git/nodeupdate:
  Setting tag nodeupdate-0.5-12 crucial nodemanager packages were not using new naming convention


Trivial merge