Merge remote-tracking branch 'origin/5.0' into bootmanager-vender bootmanager-vender
authorGit User <support@planet-lab.org>
Tue, 14 Oct 2014 07:17:39 +0000 (03:17 -0400)
committerGit User <support@planet-lab.org>
Tue, 14 Oct 2014 07:17:39 +0000 (03:17 -0400)

Trivial merge