Bump version to 7.1.2
Bump version to 7.1.2-dev