On Tue 26 May 2026 at 13:57 +0200, Emmanuel Lecharny wrote: > As it is a GUI application, we aren't too much tied with an old Java > version, and I think we should switch to Java 25.
Definitely. But it might be a good idea to wait until after the next release before starting work on that. What's currently in the source tree has now been fairly well tested over many years, that seems like a good base for a new release. > Regardless, I have little knowledge about the way it should be done. Same here. I've updated the platform Eclipse once before and that was reasonably straightforward but updating the Java version is considerably more intimidating, I have only very limited experience with this build system and am very much hoping that someone with more experience of it will be able to take care of that update. > Do you think the README is still up to date? Sorry, I have no idea about that. Cheers // Fredrik Roubert -- Forsterstrasse 64 | +41 78 8170377 CH-8044 Zürich | https://roubert.name/fredrik/ --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
