Hi,
Nice catch!
On February 19, 2016 2:42:08 PM GMT+01:00, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> I think we should fix it, but not backpatch.
>
>I don't think that's particularly good policy. It's a clear bug, why
>would we not fix it? Leaving it as-is in the back branches can have
>no good effect, and what it does do is create a merge hazard for other
>back-patchable bug fixes in the same area.
Agreed. Unless somebody beats be to it, I'll do do so in a couple hours (11h flight now.
Andres
---
Please excuse brevity and formatting - I am writing this on my mobile phone.