Merge branch 'jhh-dev' of git://git.planet-lab.org/plstackapi into jhh-dev
authorroot <root@node46.princeton.vicci.org>
Mon, 22 Sep 2014 20:40:20 +0000 (20:40 +0000)
committerroot <root@node46.princeton.vicci.org>
Mon, 22 Sep 2014 20:40:20 +0000 (20:40 +0000)

Trivial merge