Update specs.md.html

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.12*
+*This is the formal specification of the Battlecode 2023 game.* Current version: *3.0.13*
 
 **Welcome to Battlecode 2023: Tempest.**
 
@@ -291,6 +291,9 @@
 
 # Appendix: Changelog
 
+- Version 3.0.13 (February 2, 2023) 
+  - Previous cloud sensing fixed checked the incorrect location when determining radius: fixed
+
 - Version 3.0.12 (February 1, 2023) 
   - Fixed sensing clouds within clouds to reduce vision radius
   - Added Newbie/HS qualifier maps