On Fri, Nov 7, 2014 at 12:52 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Committed with some copy-editing based on Andreas's comments.
Thank you both.
-- Peter Geoghegan