Andrew Dunstan <[email protected]> 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
