Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/iotcloud
authortkwa <kwathomas0@gmail.com>
Wed, 3 Aug 2016 00:04:49 +0000 (17:04 -0700)
committertkwa <kwathomas0@gmail.com>
Wed, 3 Aug 2016 00:04:49 +0000 (17:04 -0700)

Trivial merge