On 2025-Dec-08, Nathan Bossart wrote: > On Mon, Dec 08, 2025 at 12:27:26PM -0600, Nathan Bossart wrote: > > On Mon, Dec 08, 2025 at 07:23:16PM +0100, Álvaro Herrera wrote: > >> I haven't read this thread, but chanced to come across this and wanted > >> to note recent commit c05dee191125. I'm not opposed to changing what > >> went in there, but let's make them all the same. > > > > Ah, that must've been where I stole from originally. Will switch it back. > > As promised...
This looks reasonable to me in a quick read. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
