Merge branch 'master' into server

6 jobs for server in 3 minutes and 32 seconds (queued for 28 seconds)
Status Job ID Name Coverage
  Prepare
passed #13018
linux
mat_linux

00:00:17

passed #13017
linux
mat_lua

00:00:19

passed #13019
linux
mat_windows

00:00:14

 
  Build
passed #13021
linux
exec_linux

00:01:10

passed #13020
vs
exec_windows

00:01:12

 
  Deploy
passed #13022
linux
upload_to_minio

00:00:47