mirror of
https://github.com/luanti-org/luanti.git
synced 2025-10-12 16:15:20 +02:00
Fixes a bug where an incompatible server would be selected instead due to being the "first" result before grouping.
Fixes a bug where an incompatible server would be selected instead due to being the "first" result before grouping.