Update to version 13.12.4

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