Le 19/06/2017 à 15:41, Stefan Bodewig a écrit : > those two should go to the same list even if its "issues"?
Yes, sorry for the ambiguity. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
