On Wed, Nov 9, 2016 at 5:35 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Committed.
Thanks.-- Michael