Merge branch 'server' into server-develop

7 jobs for server-develop in 4 minutes and 26 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #160136
linux
mat_common

00:00:14

passed #160138
linux
mat_linux

00:00:52

passed #160137
linux
mat_submodules

00:00:26

passed #160139
linux
mat_windows

00:02:47

 
  Build
passed #160142
linux
exec_debian

00:01:10

passed #160141
linux
exec_linux

00:01:36

passed #160140
vs
exec_windows

00:01:11