Added by Luca Abeni about 11 years ago
Merge remote branch 'origin/nodeid-dtor'
Conflicts: som/TopologyManager/nccache.c