Bump version to 3.1.2

2 jobs for synchronize in 36 seconds (queued for 2 seconds)