On Thu, May 18, 2017 at 12:13 AM, Robert Haas <robertmh...@gmail.com> wrote:
>
> Agreed.  Committed your patch.
>

 Thanks Robert!

Reply via email to