commit 426e46126b5a1efaea4544cdb71ab81b61983034
author graham sanderson <graham.sanderson@raspberrypi.com> Tue May 17 13:42:49 2022 -0500
committer graham sanderson <graham.sanderson@raspberrypi.com> Wed May 18 10:41:48 2022 -0500
tree 92d19685f4ee45c1eeb3e34761511e0abf935eec
parent ebc601f71f7afdc2781f96e0fe3d2d9dfbbc68d3

SDK 1.3.1 release

pico_sdk_version.cmake

diff --git a/pico_sdk_version.cmake b/pico_sdk_version.cmake
index a9154cc..e2ecdac 100644
--- a/pico_sdk_version.cmake
+++ b/pico_sdk_version.cmake
@@ -9,7 +9,7 @@
 set(PICO_SDK_VERSION_REVISION 1)
 # PICO_BUILD_DEFINE: PICO_SDK_VERSION_PRE_RELEASE_ID, optional SDK pre-release version identifier, type=string, group=pico_base
 # PICO_CONFIG: PICO_SDK_VERSION_PRE_RELEASE_ID, optional SDK pre-release version identifier, type=string, group=pico_base
-set(PICO_SDK_VERSION_PRE_RELEASE_ID develop)
+#set(PICO_SDK_VERSION_PRE_RELEASE_ID develop)
 
 # PICO_BUILD_DEFINE: PICO_SDK_VERSION_STRING, SDK version, type=string, group=pico_base
 # PICO_CONFIG: PICO_SDK_VERSION_STRING, SDK version, type=string, group=pico_base