On Thu, Mar 8, 2018 at 12:27 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> New patches attached, fixing all 3 of the issues you reported:
>
Thanks. new patches applied cleanly on head and fixing all reported issue.
Thanks & Regards,
Rajkumar Raghuwanshi
QMG, EnterpriseDB Corporation