Merge branch 'dev-0.1.2' into release-0.1.2
[checkpoints] minor: 51013 checkpoint added.
Merge branch 'master' into release-0.1.2
Merge branch 'release-0.1.2' into dev-0.1.2