From b9928a2d113f095ccea2540f6fb060d665243063 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Sun, 19 Feb 2023 13:10:35 +0100
Subject: [PATCH] Generalize used toolchain version

No more strict pinning
---
 platform.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.json b/platform.json
index 9527bc7..2195668 100644
--- a/platform.json
+++ b/platform.json
@@ -35,7 +35,7 @@
       "type": "toolchain", 
       "optional": true,
       "owner": "earlephilhower",
-      "version": "5.100300.221223"
+      "version": "~5.100300.0"
     },
     "framework-arduino-mbed": {
       "type": "framework",