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