Le 10/10/2023 à 00:18, Christopher Schultz a écrit :
The proposed 10.1.14 release is: [ ] Broken - do not release [X] Stable - go ahead and release as 10.1.14
It looks good on Debian with OpenJDK 17. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
