remove Server option (now part of config file)
Passed
Lemmer, Jan
created pipeline for commit
58548f4c
, finished
1 related merge request: !49 remove Server option (now part of config file)
20 seconds, queued for 0 seconds