Merge branch 'master' into release
Merge branch 'master' into release
Options for overriding whether a session is local or in cloud
Merge branch 'master' of https://github.com/chipster/chipster.git
Note about Chipster 3.x in the update-exec.sh
Fix missing user in update-exec3.sh
Fix bundle.py path when building tar
Merge branch 'release'
Merge branch 'master' into vm