On 2023-01-11, Mark Thomas wrote: > Once I have confirmed Java 17 has been installed, I'll switch Gump > over to Java 17 and wait to see what fails. Once everything is fixed, > I'll remove the Java 11 package.
+1 Thank you Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
