Merge branch 'master' of ssh://git.planet-lab.org/git/nodemanager
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Mon, 11 Oct 2010 21:03:11 +0000 (17:03 -0400)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Mon, 11 Oct 2010 21:03:11 +0000 (17:03 -0400)

Trivial merge