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.