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. David