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/
