Update to version 13.12.0

1 job for master in 45 seconds (queued for 1 second)