Merge branch 'master' into server

7 jobs for server in 5 minutes and 32 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #13406
linux
mat_linux

00:00:25

passed #13405
linux
mat_lua

00:00:58

passed #13407
linux
mat_windows

00:00:57

 
  Build
passed #13409
linux
exec_linux

00:01:40

passed #13510
vs
exec_windows

00:01:41

failed #13408
vs
exec_windows

00:01:07

 
  Deploy
passed #13410
linux
upload_to_minio

00:01:11