Thanks, patch applied.
On Wed, Jan 8, 2020 at 12:31 PM Nagesh Dhope <nagesh(dot)dhope(at)enterprisedb(dot)com>
wrote:
> Created https://redmine.postgresql.org/issues/5072 for the same.
>
--
*Thanks & Regards*
*Akshay Joshi*
*Sr. Software Architect*
*EnterpriseDB Software India Private Limited*
*Mobile: +91 976-788-8246*