Couple more 0.100 fixes
This is a couple more bug fixes towards finally releasing 0.100. These should be cherry-picked into stable-0.100
.
This is a couple more bug fixes towards finally releasing 0.100. These should be cherry-picked into stable-0.100
.