http://bugzilla.suse.com/show_bug.cgi?id=1157504 http://bugzilla.suse.com/show_bug.cgi?id=1157504#c4 --- Comment #4 from Stefan Brüns <stefan.bruens@rwth-aachen.de> --- The patch is for diagnostics only, the crucial part are the debug assertions enabled by the "--debug" configure option. -- You are receiving this mail because: You are on the CC list for the bug.