Alexander Korotkov <[email protected]> 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
