https://bugzilla.novell.com/show_bug.cgi?id=360414
User schubi@novell.com added comment
https://bugzilla.novell.com/show_bug.cgi?id=360414#c2
Stefan Schubert changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #2 from Stefan Schubert 2008-02-19 02:13:34 MST ---
We have fixed already 2 bugs concerning segfaults in the SAT solver while
updating the system. So I assume that it is fixed. Please try it with the next
version again. Thank you !
--
Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.