On Mon, Feb 5, 2018 at 3:29 PM, Amit Khandekar <amitdkhan...@gmail.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
