Joe Conway <mail@joeconway.com> writes:
> On 4/11/21 12:51 PM, Dave Cramer wrote:
>> On Sun, 11 Apr 2021 at 12:43, Tom Lane <tgl@sss.pgh.pa.us
>> <mailto:tgl@sss.pgh.pa.us>> 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