Update to version 13.12.2

1 job for master in 19 seconds (queued for 17 seconds)