On Tue, Apr 7, 2015 at 7:46 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Done.
Thank you.
-- Peter Geoghegan