From 2ccab115de0d42d31d6611cca19ef0cd0d2ccaa7 Mon Sep 17 00:00:00 2001
From: graham sanderson <graham.sanderson@raspberrypi.com>
Date: Fri, 10 Feb 2023 18:23:51 -0600
Subject: [PATCH] release SDK 1.5.0

---
 pico_sdk_version.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pico_sdk_version.cmake b/pico_sdk_version.cmake
index 3d75a5c..4a79c8e 100644
--- a/pico_sdk_version.cmake
+++ b/pico_sdk_version.cmake
@@ -9,7 +9,7 @@ set(PICO_SDK_VERSION_MINOR 5)
 set(PICO_SDK_VERSION_REVISION 0)
 # PICO_BUILD_DEFINE: PICO_SDK_VERSION_PRE_RELEASE_ID, optional SDK pre-release version identifier, type=string, group=pico_base
 # PICO_CMAKE_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_CMAKE_CONFIG: PICO_SDK_VERSION_STRING, SDK version, type=string, group=pico_base
-- 
GitLab