On Thu, May 18, 2017 at 12:13 AM, Robert Haas <[email protected]> wrote:
>
> Agreed.  Committed your patch.
>

 Thanks Robert!

Reply via email to