Le 13/07/2014 14:01, Gary Gregory a écrit : > I do not think we should bother with Java 5. > > For me the discussion should be whether we require Java 6 or 7.
+1 for Java 7 Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
