Actually, telling us that you deleted the ticket by quoting (part of) it makes sure that the spam is archived forever :-p
It is better to delete it silently, since most people did not see it anyway. JMarc Le 4 octobre 2016 20:07:40 GMT+02:00, Richard Heck <rgh...@lyx.org> a écrit : >I deleted this ticket. > >Richard
