On 14.07.22 23:09, Jacob Champion wrote:
> On Thu, Jul 14, 2022 at 1:12 PM Peter Eisentraut
> <peter.eisentraut@enterprisedb.com> wrote:
>> Concretely, I was thinking like the attached top-up patch.
>>
>> The other way can surely be made to work somehow, but this seems much
>> simpler and with fewer questions about the details.
>
> Ah, seeing it side-by-side helps. That's much easier, I agree.
Committed like that.