Hi, On Mon, Dec 01, 2025 at 09:50:43AM -0800, Jacob Champion wrote: > Fine by me.
Thanks for the review! > Thanks for this cleanup work! That's fun and useful to do! Regards, -- Bertrand Drouvot PostgreSQL Contributors Team RDS Open Source Databases Amazon Web Services: https://aws.amazon.com
