Upgrade Gitlab to v13.12

See merge request !1558
24 jobs for master
in 0 seconds, using 0 compute credits, and was queued for 0 seconds