Bumped version number and wrote entry in HISTORY.md.
Merge branch 'release/0.1.2' into develop