[Bug 354410] zypper sometimes crashes during solving with SAT solver

https://bugzilla.novell.com/show_bug.cgi?id=354410 User schubi@novell.com added comment https://bugzilla.novell.com/show_bug.cgi?id=354410#c5 Stefan Schubert changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |coolo@novell.com --- Comment #5 from Stefan Schubert 2008-02-04 09:53:34 MST --- No, I can reproduce this bug with current trunk. -- 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.