Merge branch 'master' into server-develop

7 jobs for server-develop in 6 minutes and 12 seconds (queued for 29 seconds)
Status Job ID Name Coverage
  Prepare
passed #119424
linux
mat_common

00:00:15

passed #119426
linux
mat_linux

00:01:00

passed #119425
linux
mat_submodules

00:00:30

passed #119427
linux
mat_windows

00:00:17

 
  Build
passed #119430
linux
exec_debian

00:02:51

passed #119429
linux
exec_linux

00:04:00

passed #119428
vs
exec_windows

00:01:09