Merge from head.
authorFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Thu, 3 May 2007 03:54:07 +0000 (03:54 +0000)
committerFaiyaz Ahmed <faiyaza@cs.princeton.edu>
Thu, 3 May 2007 03:54:07 +0000 (03:54 +0000)
commita04bb0c32b2a03b943eb0785cd0cdaf8b2c88d90
treef51a3b61f01a4ef8791c60540547402b4cdb37e0
parent8359bada1ea724bb9dc910539e2f5a99caf17d4f
Merge from head.
NodeManager.spec