Update to version 13.12.3

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