On Mon, Feb 5, 2018 at 3:29 PM, Amit Khandekar <amitdkhan(dot)pg(at)gmail(dot)com>
wrote:
>
> Attached is a patch that fixes this issue on the above lines.
>
Patch applied cleanly and work fine for me. mentioned issue is not
reproducible now.
Thanks & Regards,
Rajkumar Raghuwanshi
QMG, EnterpriseDB Corporation