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
