On Tue, 23 Oct 2018 22:08:04 -0300
Laura Lazzati <laura.lazzati.15@gmail.com> wrote:

> On Tue, Oct 23, 2018 at 6:42 PM Gábor Boskovits <boskovits@gmail.com>
> wrote:
> >
> > Thank you for all!
> >
> > Pushed to master as b55697fbb430ae9a973eeae91f09213d1e603a9e.  
> 
> Yeah :)
> Regards!
> Laura

Congratulations!

Björn