playtest-20121015
1d623299 · fix #2425; Bots should be removed when switching to a map which doesn't allow them ·