http://bugzilla.suse.com/show_bug.cgi?id=1092055 http://bugzilla.suse.com/show_bug.cgi?id=1092055#c6 Michael Schröder changed: What |Removed |Added ---------------------------------------------------------------------------- Flags| |needinfo?(lnussel@suse.com) --- Comment #6 from Michael Schröder --- Please attach a solver testcase. (The bindings expose testcase writing.) -- You are receiving this mail because: You are on the CC list for the bug.