Merge remote-tracking branch 'origin/myplc-0_4-branch' into planetlab-3_3-bootcd... planetlab-3_3-bootcd-branch
authorGit User <support@planet-lab.org>
Thu, 7 May 2015 08:11:11 +0000 (04:11 -0400)
committerGit User <support@planet-lab.org>
Thu, 7 May 2015 08:11:11 +0000 (04:11 -0400)

Trivial merge