On Tue, Oct 17, 2023 at 9:39 PM Robert Haas <[email protected]> wrote:
>
> Cool. Seems we are all in agreement, so committed these. Thanks!

Thank you for getting this across the finish line!


Reply via email to