(Re)Merge branch 'master' into cayuga
Corrected the merge direction this time, so that running `git describe` on the master branch finds v0.9.7 as the most recent tag. Change-Id: I9e7b5d473c26e670c6d9a76f5c03fa617690651d
This commit is contained in:
commit
56417a3075