Andrew Dunstan <andrew.duns...@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