Merge branch 'patch-server-list' into develop

11 jobs for develop in 6 minutes and 20 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #189687
linux
mat_common

00:00:35

passed #189717
linux
mat_macos

00:00:28

passed #189688
linux
mat_submodules

00:00:18

passed #189690
linux
mat_windows

00:00:15

canceled #189689
linux
mat_macos

00:06:16

 
  Build
passed #189692
avx2
exec_linux

00:02:01

passed #189693
arm
exec_linuxarm

00:02:49

passed #189695
macos-m1
exec_macos_platform_m1

00:03:15

passed #189694
macos
exec_macos_platform_x86

00:04:00

passed #189691
vs
exec_windows

00:05:06

 
  Combine
passed #189696
macos
exec_macos

00:00:10