On Fri, Jan 18, 2019 at 2:49 PM Esteban Lorenzano <estebanlm@gmail.com> wrote:

Hi,

Yes, I needed to promote a new stable version because last week��s was having a bug (which is not fixed).

not? now? :)

This version includes the following:

��

This one is based on the build:

201901172323-5a38b34

Enjoy (and please report problems)

Esteban

��	Guille Polito Research Engineer Centre de Recherche en Informatique, Signal et Automatique de Lille CRIStAL - UMR 9189 French National Center for Scientific Research - http://www.cnrs.fr Web: http://guillep.github.io Phone: +33 06 52 70 66 13