Updated release number to 3.0.2

Author: andywang02

specs/specs.md.html

@@ -17,7 +17,7 @@
 
 # Formal specification
 
-*This is the formal specification of the Battlecode 2023 game.* Current version: *3.0.1*
+*This is the formal specification of the Battlecode 2023 game.* Current version: *3.0.2*
 
 **Welcome to Battlecode 2023: Tempest.**
 
@@ -291,13 +291,15 @@
 
 # Appendix: Changelog
 
-- Version 3.0.1 (January 25, 2023)
-  - Internal release for mystery tournament
-  - Fixed spec changelog formatting
+- Version 3.0.2 (January 26, 2023)
   - Engine Fixes:
     - Carriers should now be able to attack using a held anchor
     - Wells can no longer be upgraded using the wrong resource 
 
+- Version 3.0.1 (January 25, 2023)
+  - Internal release for mystery tournament
+  - Fixed spec changelog formatting
+
 - Version 3.0.0 (January 24, 2023)
   - Island/Anchor Buffs (island healing was too weak last patch, and very few teams found advantages in capturing and defending islands):
     - Healing affects all robots within 4 radius squared of an island