Merge branch 'master' into server

6 jobs for server in 5 minutes and 40 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #12512
linux
mat_linux

00:00:27

passed #12511
linux
mat_lua

00:00:24

passed #12513
linux
mat_windows

00:01:04

 
  Build
passed #12515
linux
exec_linux

00:01:54

passed #12514
vs
exec_windows

00:01:15

 
  Deploy
passed #12516
linux
upload_to_minio

00:01:24