- seems like 0.10.13 is already out

diff --git a/VERSION.cmake b/VERSION.cmake
index 9df7180..4dcc06a 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,6 +46,6 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "10")
-SET(LIBSATSOLVER_PATCH "13")
+SET(LIBSATSOLVER_PATCH "14")
 
-# last released 0.10.11
+# last released 0.10.13