Patch today (May 30) at 1600 EDT

All servers down for a quick patch.

- fixes combat bug wherein attackers do double damage
- changes planet mitigation when the population is less than 100Mu