Merge branch 'server' into lmopen

7 jobs for lmopen in 2 minutes and 6 seconds (queued for 1 minute and 13 seconds)
Status Job ID Name Coverage
  Prepare
passed #158855
linux
mat_common

00:00:19

passed #158857
linux
mat_linux

00:01:19

passed #158856
linux
mat_submodules

00:00:23

passed #158858
linux
mat_windows

00:00:16

 
  Build
canceled #158861
linux
exec_debian

00:00:25

canceled #158860
linux
exec_linux

00:00:26

canceled #158859
vs
exec_windows