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