Merge branch 'dev-0.1.3' into release-0.1.3
Merge branch 'release-0.1.3'
minor: 0.8.0.3 with 318300 checkpoint.
Merge branch 'dev-0.1.3' into release-0.1.3
Merge branch 'release-0.1.3'
build: version bumped to 0.8.0.4

 - ChangeLog updated
Merge branch 'master' into release-0.1.3
minor: re-marking release-* and dev-* branches as unstable.
Merge branch 'release-0.1.3' into dev-0.1.3