Andrew Dunstan <andrew(dot)dunstan(at)2ndquadrant(dot)com> writes:
> On 8/3/19 6:42 PM, Tom Lane wrote:
>> So I propose the attached patch, which seems to fix this for me.
> Looks good. A couple of minor nits:
Will fix, thanks for the review!
regards, tom lane