Re: jEdit 5.7.0 release?
Eric Le Lay via jEdit-devel <[email protected]> Tue, 17 Oct 2023 08:29:02 +0200
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
Le Fri, 13 Oct 2023 23:09:03 +0200, Vampire <[email protected]> a écrit : > @Eric > I see you have committed for it, so is that sufficiently fixed now? Hi, yes, it fixes the issue. We'll remove the version test after we depend on >= java 20. Cheers, -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel