On 2017-09-13 17:53:44 -0400, Tom Lane wrote:
> Andres Freund <andres(at)anarazel(dot)de> writes:
> > Indeed that seems plausible. I guess something like the attached should
> > fix the issue?
>
> Ah, I see you came to the same conclusion I did. But see comment
> about adding a comment.
I've pushed something - Not sure if you'd anything else in mind WRT
comment...
Greetings,
Andres Freund