Hi, On 8/20/23 10:07 AM, Michael Paquier wrote:
On Sat, Aug 19, 2023 at 06:30:12PM +0200, Drouvot, Bertrand wrote:Thanks, fixed in v10.Okay. I have done an extra review of it, simplifying a few things in the function, the comments and the formatting, and applied the patch.
Thanks! Regards, -- Bertrand Drouvot PostgreSQL Contributors Team RDS Open Source Databases Amazon Web Services: https://aws.amazon.com