Bump version to 0.7.12 and add release notes.