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: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org