On Tue, Mar 11, 2025 at 11:36 PM Tom Lane <[email protected]> wrote:
> Per buildfarm.

What buildfarm animal? I didn't see anything about this today.

Thanks, though.

-- 
Peter Geoghegan


Reply via email to