Re: BUG #4019: Comparison of user defined domain doesn't work

"Jan Strube" <js@deriva.de> writes:
> Description:        Comparison of user defined domain doesn't work

I can't reproduce this here --- the test case gives the expected output
on both 8.2 and 8.3.  (I'm checking CVS tip not the 8.3.0 release, but
there surely haven't been any bug fixes that seem likely to affect
this.)

Is it possible that you need a particular locale/encoding, or some other
non-default setting, to reproduce the problem?

            regards, tom lane