Bump version 3.1.2

16 jobs for v3.1.2 in 10 minutes and 48 seconds (queued for 11 seconds)
latest