Thanks, patch applied.
On Thu, Nov 19, 2020 at 2:10 PM Khushboo Vashi <
khushboo(dot)vashi(at)enterprisedb(dot)com> wrote:
> Hi,
>
> Please find the attached patch to fix the Jenkins failure.
> Also, note that I couldn't reproduce this issue at my end, so provided the
> fix on the basis of Jenkins logs.
>
> Thanks,
> Khushboo
>
>
--
*Thanks & Regards*
*Akshay Joshi*
*pgAdmin Hacker | Principal Software Architect*
*EDB Postgres <http://edbpostgres.com>*
*Mobile: +91 976-788-8246*