Release 7.1.2 with changelog.