mirror of
https://gitlab.com/crafty-controller/crafty-4.git
synced 2025-01-20 18:25:29 +01:00
c22d07d832
Fix an error when there are no servers See merge request crafty-controller/crafty-4!346