On 08/02/2017 10:11 AM, Guillaume MM wrote: > Please do not let Enrico's new attacks affect you.
Can we please put an end to this kind of public comment? If you want to make such remarks privately, that is totally reasonable. But this sort of snark is totally uncalled for, and it is not helping right now. Richard
