On 2023-07-31 Mo 20:46, Zhang Mingli wrote:
>
>
>> On Aug 1, 2023, at 03:35, Andrew Dunstan <andrew(at)dunslane(dot)net> wrote:
>>
>> I was hoping it be able to get to it today but that's not happening.
>> If you want to submit a revised patch as above that will be good. I
>> hope to get to it later this week.
>
> HI, Andrew
>
> Patch rebased and updated like above, thanks.
Pushed at last, thanks.
cheers
andrew
--
Andrew Dunstan
EDB:https://www.enterprisedb.com