Bumped v0.12.0. Updated HISTORY.md.