Update platform.json

This commit is contained in:
Maximilian Gerhardt 2022-07-15 18:24:59 +02:00 committed by GitHub
parent 28e5339cdc
commit 17cb99f3fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -35,7 +35,7 @@
"type": "toolchain",
"optional": true,
"owner": "earlephilhower",
"version": "5.100300.220629"
"version": "5.100300.220714"
},
"framework-arduino-mbed": {
"type": "framework",