Andrew Dunstan <andrew(at)dunslane(dot)net> writes:> Done.
I pushed the patch for master too, so this is closed now.
regards, tom lane