> On Thu, Feb 28, 2019 at 9:24 PM Alvaro Herrera <[email protected]> 
> wrote:
>
> Pushed, thanks.  I added the reminder comment I mentioned.

Thank you, sorry for troubles.

Reply via email to