On Thu, Mar 8, 2018 at 12:27 AM, Robert Haas <robertmh...@gmail.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
