Merge remote-tracking branch 'local_master/geni-v3' into geni-v3
authorGit User <support@planet-lab.org>
Thu, 16 Aug 2012 19:51:38 +0000 (15:51 -0400)
committerGit User <support@planet-lab.org>
Thu, 16 Aug 2012 19:51:38 +0000 (15:51 -0400)

Trivial merge