Merge latest upstream

2022-06-09 20:58:27 +02:00
parent c2441e4210 509633a366
commit a587ecab51
8 changed files with 417 additions and 349 deletions
--- a/boards/pico.json
+++ b/boards/pico.json
@ -50,4 +50,4 @@
  },
  "url": "https://www.raspberrypi.org/products/raspberry-pi-pico/",
  "vendor": "Raspberry Pi"
-}
+}