Hi Robert,

On Sat, Feb 7, 2026 at 9:38 AM Robert Haas <robertmhaas@gmail.com> wrote:
> Here is a new patch set (v14).

Thanks for the patches! 0003 - 0005 look good to me.

Thanks,

Alex