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.
--
Peter Geoghegan