Thanks, patch applied.
On Fri, Apr 3, 2020 at 6:25 PM Dave Page <dpage(at)pgadmin(dot)org> wrote:
> Patch attached for $SUBJECT.
>
> --
> Dave Page
> Blog: http://pgsnake.blogspot.com
> Twitter: @pgsnake
>
> EnterpriseDB UK: http://www.enterprisedb.com
> The Enterprise PostgreSQL Company
>
--
*Thanks & Regards*
*Akshay Joshi*
*Sr. Software Architect*
*EnterpriseDB Software India Private Limited*
*Mobile: +91 976-788-8246*