Patchlog:

- Fix infinite save in campaign.
- Fix a few crashes when leaving a game.
- Fix crash when starting ranked game.
- Fix players disconnected when ranked match was found.
- Fix several mistakes in texts

- Adding servers for the second 10v10 map, "Gjöll" (actually it is not added by the patch, we had already added the servers today.