Update platform.txt

Jason2866 · web-flow · commit c31eac0f7df4 · 2023-09-13T15:39:55.000+02:00
diff --git a/platform.txt b/platform.txt
@@ -1,5 +1,5 @@
 name=ESP32 Arduino
-version=2.0.12
+version=2.0.13
 
 tools.xtensa-esp32-elf-gcc.path={runtime.platform.path}/tools/xtensa-esp32-elf
 tools.xtensa-esp32s2-elf-gcc.path={runtime.platform.path}/tools/xtensa-esp32s2-elf
