Update to version 13.12.1

1 job for master in 38 seconds (queued for 3 seconds)