Merge branch 'master' into release-0.1.3
release branch stable flag.
Merge branch 'release-0.1.3' into dev-0.1.3
minor: 346805 checkpoint
Merge branch 'dev-0.1.3' into release-0.1.3
Merge branch 'release-0.1.3'