Jeevan Ladhe Wed, 17 May 2017 11:57:30 -0700
On Thu, May 18, 2017 at 12:13 AM, Robert Haas <[email protected]> wrote: > > Agreed. Committed your patch. >
Thanks Robert!