On Tue, Jun 15, 2021 at 4:49 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Alexander Korotkov <aekorotkov@gmail.com> writes:
> > Pushed! Thanks to thread participants for raising this topic and
> > review. I'll be around to resolve issues if any.
>
> Buildfarm is pretty thoroughly unhappy. Did you do a "check-world"
> before pushing?
Yes, I'm looking at this now.
I did run "check-world", but it passed for me. Probably the same
reason it passed for some buildfarm animals...
------
Regards,
Alexander Korotkov
