platform.txt: revert template errors introduced with release 2.5.2

giulcioffi · giulcioffi · commit 3f87f00ddfdc · 2021-10-20T15:40:20.000+02:00
diff --git a/platform.txt b/platform.txt
@@ -4,8 +4,8 @@
 # For more info:
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
-name=Arduino Mbed OS  Boards
-version=
+name=Arduino Mbed OS Boards
+version=9.9.9
 
 # Compile variables
 # ------------------------
