On Tue, Nov 12, 2019 at 11:17 AM Amit Kapila <amit.kapil...@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
