On 2023-07-31 Mo 20:46, Zhang Mingli wrote:
On Aug 1, 2023, at 03:35, Andrew Dunstan <and...@dunslane.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
