Merged

Author: pv711

engine/src/main/battlecode/common/GameConstants.java

@@ -10,7 +10,7 @@ public class GameConstants {
     /**
      * The current spec version the server compiles with.
      */
-    public static final String SPEC_VERSION = "1.2.0";
+    public static final String SPEC_VERSION = "1.2.1";
 
     // *********************************
     // ****** MAP CONSTANTS ************

specs/specs.md.html

@@ -17,7 +17,7 @@
 
 # Formal specification
 
-*This is the formal specification of the Battlecode 2023 game.* Current version: *1.2.0*
+*This is the formal specification of the Battlecode 2023 game.* Current version: *1.2.1*
 
 **Welcome to Battlecode 2023: Tempest.**