On 2018-Jul-19, Michael Paquier wrote:
> On Thu, Jul 19, 2018 at 12:38:53AM -0400, Alvaro Herrera wrote:
> > On 2018-Jul-19, Michael Paquier wrote:
> >> I am fine either way if you want to have the last call. So please feel
> >> free to choose what you prefer here. That's no big deal.
> >
> > Okay. You want to push it, or shall I?
>
> It seems to me that you are on it more than I. So please go ahead.
> Thanks for asking.
Done, thanks everyone.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services