On Tue, Nov 12, 2019 at 11:17 AM Amit Kapila <amit.kapila16@gmail.com> wrote:
>
> I am planning to commit this patch tomorrow unless I see more comments
> or interest from someone else to review this.
>
Pushed. Pavel, feel free to submit dropdb utility-related patch if you want.
--
With Regards,
Amit Kapila.
EnterpriseDB: http://www.enterprisedb.com