Merge branch 'master' of ssh://git.planet-lab.org/git/build
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 26 Jan 2011 22:12:34 +0000 (17:12 -0500)
committerS.Çağlar Onur <caglar@cs.princeton.edu>
Wed, 26 Jan 2011 22:12:34 +0000 (17:12 -0500)

Trivial merge