nodeupdate-0.5-11
object ea140475f8622384d00e08f3782f266fed7036f6
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Mar 2014 15:29:27 +0000 (16:29 +0100)
Setting tag nodeupdate-0.5-11
reflect a name change for NodeManager that becomes nodemanager as part of crucial packages