Merge branch 'server' into lmopen

10 jobs for lmopen in 11 minutes and 27 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #163302
linux
mat_common

00:00:18

passed #163304
linux
mat_linux

00:00:34

passed #163399
linux
mat_submodules

00:02:06

passed #163305
linux
mat_windows

00:00:28

failed #163303
linux
mat_submodules

00:05:42

 
  Build
passed #163308
linux
exec_debian

00:02:50

passed #163310
arm
exec_debianarm

00:04:57

passed #163307
linux
exec_linux

00:03:04

passed #163309
arm
exec_linuxarm

00:02:03

passed #163306
vs
exec_windows

00:01:38