From e40af02b504334e472d65312ce0d4c9142d3abb6 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Sun, 14 Jul 2024 13:20:31 +0200
Subject: [PATCH] Bumping version

---
 CMakeLists.txt | 2 +-
 pyproject.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 942779d4f..342f5d159 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -423,7 +423,7 @@ else()
   set(GIT_SHA "GIT-hash-notfound")
 endif()
 
-set(CMS_FULL_VERSION "5.11.22")
+set(CMS_FULL_VERSION "5.11.23")
 
 string(REPLACE "." ";" CMS_FULL_VERSION_LIST ${CMS_FULL_VERSION})
 SetVersionNumber("PROJECT" ${CMS_FULL_VERSION_LIST})
diff --git a/pyproject.toml b/pyproject.toml
index 7e179e264..dacc53f61 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pycryptosat"
-version = "5.11.22"
+version = "5.11.23"
 description = "Bindings to CryptoMiniSat, an advanced SAT solver"
 keywords = ["sat", "cryptography"]
 license = { file = "LICENSE.txt" }