Hi Tom,
We've upgraded to 10.2 and are not getting segmentation faults while
running the query anymore. Thank you for the fix.
On Sun, Jan 28, 2018 at 2:57 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> I wrote:
> > I'll look into an actual fix tomorrow.
>
> I've pushed a fix for this. I concluded that there's no real reason
> to touch branches before 10: the index_markpos call is useless in the
> case in question, but it doesn't do any more than waste some cycles.
>
> regards, tom lane
>