Le 20/04/2018 à 00:12, sebb a écrit : > I suggest asking Infra whether they are both going to be supported longer > term.
FWIW when I migrated JEXL I had no other choice than using Gitbox. I'm not sure Infra still accepts new git-wip repositories. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
