Tomas Vondra <tomas.vondra@2ndquadrant.com> writes:
> Pushed. Now let's wait for the buildfarm to complain ...
gaur's not happy, but rather surprisingly, it looks like we're
mostly OK elsewhere. Do you need me to trace down exactly what's
going wrong on gaur?
regards, tom lane