fix

12 jobs for server-develop in 10 minutes and 12 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #163171
linux
mat_common

00:00:23

passed #163173
linux
mat_linux

00:00:49

passed #163172
linux
mat_submodules

00:00:48

passed #163174
linux
mat_windows

00:00:18

 
  Build
passed #163177
linux
exec_debian

00:01:40

passed #163180
arm
exec_debianarm

00:02:20

passed #163176
linux
exec_linux

00:04:24

passed #163183
arm
exec_linuxarm

00:03:02

passed #163175
vs
exec_windows

00:01:23

failed #163179
arm
exec_debianarm

00:02:52

passed #163182
arm
exec_linuxarm

00:03:00

failed #163178
arm
exec_linuxarm

00:02:56