On Wed, Feb 17, 2016 at 2:12 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Committed, except I left out one comment hunk that I wasn't convinced about.
Thank you.
-- Peter Geoghegan