On 2015-05-19 22:50:54 -0700, Peter Geoghegan wrote: > On Tue, May 19, 2015 at 2:23 PM, Andres Freund <andres(at)anarazel(dot)de> wrote: > > Pushed. > > I eyeballed the commit, and realized that I made a trivial error. New > patch attached fixing that. > > Sorry for not getting this fix completely right first time around. > Don't know how I missed it.