Bump til 3.1.12

2 jobs for master in 51 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #43608
build-debian-stretch

00:00:21

 
  Deploy
passed #43609
deploy-apt

00:00:29