Le 21/06/2018 à 14:00, Mark Thomas a écrit : > Infra ticket.
Ok: https://issues.apache.org/jira/browse/INFRA-16673 > And please revert the change until it is updated so the CI system > continues to work. Done in r1834001 Thank you for the guidance. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org