Le 17/01/2015 23:18, Phil Steitz a écrit : > Sorry for the hijack; but I agree this is noise that would be nice > to suppress.
+1 I suggest to leave the bugs fixed and avoid closing them, that's useless. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
