Achilleas Mantzios <achill@xxxxxxxxxxxxxxxxxxxxx> writes: > On 30/07/2018 16:51, Tom Lane wrote: >> Hm, that's not happening for me: > You (and Adrian) are right. This is due to our own tweaking (which I had forgotten). Sorry for the false alarm. It looks like your hack was to work around the bug that was fixed properly in 742869946. You should be able to undo that now ... regards, tom lane
