Joe Conway <[email protected]> writes: > On 4/11/21 12:51 PM, Dave Cramer wrote: >> On Sun, 11 Apr 2021 at 12:43, Tom Lane <[email protected] >> <mailto:[email protected]>> wrote: >>> Concretely, maybe like the attached?
>> +1 from me.
>> I especially like the changes to the comments as it's more apparent what
>> they
>> should be used for.
> +1
> Looks great to me.
OK, pushed to HEAD only.
regards, tom lane
