When starting a randomly-selected game, the name of the respective savegame was automatically being set to the name of the map, so you couldn't assign...
When starting a randomly-selected game, the name of the respective savegame was automatically being set to the name of the map, so you couldn't assign an own name to it. This patch fixes it.