Merge branch 'server' into server-develop

7 jobs for server-develop in 3 minutes and 57 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Prepare
passed #142876
linux
mat_common

00:00:11

passed #142878
linux
mat_linux

00:00:39

passed #142877
linux
mat_submodules

00:00:39

passed #142879
linux
mat_windows

00:00:13

 
  Build
passed #142882
linux
exec_debian

00:02:01

passed #142881
linux
exec_linux

00:03:18

passed #142880
vs
exec_windows

00:01:18