Changes are now documented using GitHub's Releases feature
Merge branch '1.2'