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