Bot War: Patch #4

Patch #4 is now on the beta branch. This patch mainly focuses on the AI. There are a few bug fixes and improvements, but the main ones are: Fixed a bug where bots would judder for a moment as they went from running to w…