More robust handling of socket disconnection mid-game – give players up to 30 sec to reconnect before forfeiting#1749
Merged
AlexNisnevich merged 12 commits intomainfrom Apr 20, 2023
Merged
Commits
Commits on Apr 11, 2023
Commits on Apr 14, 2023
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 18, 2023
Commits on Apr 20, 2023
- committed
- committed
- committed