On Thu, Nov 23, 2017 at 5:41 AM, Rushabh Lathia
<rushabh(dot)lathia(at)gmail(dot)com> wrote:
>> Good point. Updated patch attached.
>
> Thanks Amit.
>
> Patch looks good to me.
Committed, except I left out the comment tweak, which seemed irrelevant.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company