On 2025-Dec-08, Nathan Bossart wrote: > On Mon, Dec 08, 2025 at 04:47:17PM +0100, Álvaro Herrera wrote: > > Any objections to these changes? > > Nope, LGTM
Thanks, pushed. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/ "La virtud es el justo medio entre dos defectos" (Aristóteles)
