On Mon, Feb 27, 2017 at 3:12 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Thanks! Committed.
Thanks.-- Michael