On Mon, 23 Mar 2009, Michael Wilde wrote: > Its still simpler: "!=" seems to be broken: Indeed it is broken. It looks like its never worked (at least since r462, a couple of years ago). I'll fix and add a test. Stuff like this makes me laugh. --