release 3.2.12

5 jobs for master in 4 minutes and 34 seconds (queued for 3 seconds)