From 7cb4fdf5c9d0e6b308a863dcd03d84c7cbc7183e Mon Sep 17 00:00:00 2001
From: Erik Fleckstein <erik@tinkerforge.com>
Date: Thu, 17 Oct 2024 10:31:45 +0200
Subject: [PATCH] platformio.ini: Compile against forked platform-espressif32.

See https://github.com/platformio/platform-espressif32/issues/1225
for drama and/or details.
---
 software/platformio.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/software/platformio.ini b/software/platformio.ini
index 6a8c70160..e7a1a35d9 100644
--- a/software/platformio.ini
+++ b/software/platformio.ini
@@ -15,7 +15,7 @@ extra_configs = *.ini
 ; ============================================================================
 
 [env]
-platform = platformio/espressif32@^6.7.0
+platform = https://github.com/pioarduino/platform-espressif32.git#Arduino/IDF53
 framework = arduino
 
 monitor_speed = 115200