v1.2.0
aba41d86 · Merge branch 'master' into github_master ·