autobuild

diff --git a/VERSION.cmake b/VERSION.cmake
index bf1cf19c4b2e94d2c4e774264eab44fb67292a37..5686c9e1c426331682712ab577e95673562544d0 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,5 +46,5 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "0")
-SET(LIBSATSOLVER_PATCH "27")
+SET(LIBSATSOLVER_PATCH "28")
 

diff --git a/package/libsatsolver.changes b/package/libsatsolver.changes
index 972ddc94c9ce7dd5936e1d75a8b3d58cea576958..1059547813108f23dc0dfc60263895e5e8627d23 100644 (file)
--- a/package/libsatsolver.changes
+++ b/package/libsatsolver.changes
@@ -1,3 +1,8 @@
+-------------------------------------------------------------------
+Wed Apr 16 17:44:20 CEST 2008 - coolo@suse.de
+
+- fix (rare) case of crashing solver
+
 -------------------------------------------------------------------
 Tue Apr 15 09:06:36 CEST 2008 - coolo@suse.de