Re: jEdit 5.7.0 release?
Alan Ezust <[email protected]> Mon, 2 Oct 2023 18:17:39 -0700
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CALy5K9r84erOB2LJg5ZcXNpn7c9qp+jALGsFTUAmstU79zeQ9A@mail.gmail.com> |
I want https://sourceforge.net/p/jedit/bugs/4125/ fixed first too. And then we can depend on java21. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel