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. -- Michael
signature.asc
Description: PGP signature
