this should fix the highlighting failz with non-lowercase player names like the one CheezeMonkey ran into. there is a workaround: in the user dir put the playername in <playerNameWithCorrectCase>_highlight.txt

Merge with 0.9.17 server fix

Updated Slovak translation

Added tag 0-9.17-release for changeset 4670f003f91b

Aaaand merge into trunk too in case guys I was playing earlier are on trunk

Fix empty teams list when trying to spectate

Fix missing nametags in placement mode

merge, as --rebase didn't work for some reason

Merge 0.9.17 with trunk

Improve parser and converter

Update changelog again

Oops, function call has parens

Only make AI avoid damaged dead mines and dangerously smoking barrels once the attack is finished.

Make AI be less scared by crates. Actually, now it starts using switcher just to pick a crate up.