On Sat, 24 Aug 2024 at 19:17, Tom Lane <[email protected]> wrote:
>
> About a dozen buildfarm members are complaining
>

Ah, OK. I've pushed a fix.

Regards,
Dean


Reply via email to