On Fri, Jun 9, 2017 at 10:45 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>> But they are getting the sort order they need. They just don't get the
>> equality semantics they expect.
>
> You're right.
If we happened to ever guarantee the user a stable sort, then I'd be
wrong. We don't, though.
--
Peter Geoghegan