Great to see these changes finally coming, congrats to the devs who had to
work a lot to make this real. And good luck for the deployment :)
Le samedi 16 août 2014, Amir E. Aharoni <amir.aharoni(a)mail.huji.ac.il> a
écrit :
I'd like to join Luca - there are a lot of
wonderful updates here.
Ceterum censeo Vicidatam esse utenda :)