On Tue, Jan 30, 2024 at 10:06 PM David Rowley <dgrowle...@gmail.com> wrote: > On Mon, 29 Jan 2024 at 12:40, Michael Paquier <mich...@paquier.xyz> wrote: > > Not sure if that's worth fixing if this should be gone at some point, > > but koel has been complaining on this one: > > https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=koel&dt=2024-01-28%2016%3A19%3A03 > > I think we should as we don't know how long it'll be before this gets > reverted. In the meantime, having a buildfarm member red is annoying.
I included a fix for this in ea18eb7d625573dc369df619f7ff3b9e60e47531. Apologies for the inconvenience. -- Robert Haas EDB: http://www.enterprisedb.com