El 25/2/17 a las 20:17, Benoît Minisini escribió: > Moreover, the Sourceforge svn commit mails are still broken, they > apparently haven't fixed them for weeks. Sourceforge is more and more a > problem! Perhaps it's time to switch to GitHub... ;-) Regards Jesus G.