Michael Paquier <michael.paquier@gmail.com> writes:
> On Thu, Nov 10, 2016 at 3:27 AM, Robert Haas <robertmhaas@gmail.com> wrote:
>> https://www.postgresql.org/docs/current/static/datatype-json.html
> Indeed, I missed that. So that's broken...
Given that nobody actually cares what that sort order is, I think that
having to jump through hoops in pg_upgrade in order to fix it is not a
great tradeoff. I suggest changing the documentation to match the code.
regards, tom lane