Bump version to 3.1.2

2 jobs for master in 2 minutes and 3 seconds (queued for 39 seconds)