Le 11/10/2019 à 16:20, Rémy Maucherat a écrit : > Should private branches be allowed in the official Tomcat git repository ? > [X] Yes > [ ] No
+1 Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
