Merge branch 'server-develop' into server

7 jobs for server in 2 minutes and 41 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #106771
linux
mat_common

00:00:09

passed #106773
linux
mat_linux

00:00:35

passed #106772
linux
mat_submodules

00:00:18

passed #106774
linux
mat_windows

00:00:15

 
  Build
passed #106777
linux
exec_debian

00:01:27

passed #106776
linux
exec_linux

00:02:05

passed #106775
vs
exec_windows

00:01:47