https://issues.apache.org/bugzilla/show_bug.cgi?id=51748
--- Comment #4 from Tomas Hoger <[email protected]> 2011-11-14 13:04:18 UTC --- Regarding comment #2, I wonder if it's been overlooked, or whatever the behaviour (invalid vs. unsatisfiable) is for the meaningless case is considered fine. Should I do separate bug for it? Thanks! -- Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
