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]

Reply via email to