> On 27 Jan 2017, at 2:06 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> > In short, I now agree both that this is a bug, and that you've correctly> identified the cause. Will patch.
Thanks Tom!