Update to Arduino-Pico 2.3.1

maxgerhardt · web-flow · commit 488689c592f8 · 2022-07-19T11:23:03.000+02:00
diff --git a/platform.json b/platform.json
@@ -47,7 +47,7 @@
       "type": "framework",
       "optional": true,
       "owner": "earlephilhower",
-      "version": "~1.20202.0"
+      "version": "~1.20301.0"
     },
     "tool-rp2040tools": {
       "type": "uploader",
