Bump version to 7.1.2

5 jobs for v7.1.2 in 2 minutes and 16 seconds (queued for 2 seconds)
latest