Andrew Dunstan <andrew.dunstan@2ndquadrant.com> writes:
> Patch 1 fixed the problems on frogmouth.
Cool, thanks. I'll push that in a bit (to the back branches as well as
HEAD).
> Patch 2 also ran without incident.
What do people think about the second patch? I'd only propose that
for HEAD, since it's not really a bug fix.
regards, tom lane