I've reconfigured the jdk18 build to be a jdk20 build due to the release of jdk19

Tilman


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to