Merge pull request #6414 from dhalbert/pico-sdk-1.3.1

update pico-sdk to 1.3.1
This commit is contained in:
Scott Shawcroft 2022-05-23 07:31:05 -07:00 committed by GitHub
commit 943ab120ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit 2062372d203b372849d573f252cf7c6dc2800c0a Subproject commit 426e46126b5a1efaea4544cdb71ab81b61983034