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?
regards, tom lane
