On Fri, Oct 9, 2015 at 12:11 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> OK, committed that way.
Thank you.
-- Peter Geoghegan