On Thu, Oct 12, 2017 at 9:14 AM, Dilip Kumar <dilipbalaut(at)gmail(dot)com> wrote:
>> Yep, this fixes the failures for me.
>>
> Thanks for confirming.
Committed and back-patched to v10.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company