Le 4/07/2017 à 10:40, Mark Thomas a écrit : > The proposed 8.5.17 release is: > [ ] Broken - do not release > [X] Stable - go ahead and release as 8.5.17
+1, tested on Debian with OpenJDK 8u131. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
