Le 16/01/2015 12:03, sebb a écrit : > Commits already have a separate list.
Ah thanks, I thought they were merged. Maybe we could move the Wiki notifications to the commits or notification lists, as well as the jenkins/continuum/gump messages. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
