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