Re: jEdit 5.7.0 release?

"Matthieu Casanova" <[email protected]> Tue, 03 Oct 2023 08:40:45 +0200

Newsgroups	gmane.editors.jedit.devel
Message-ID	<[email protected]>

I tried and reproduced it, very strange, taking a look but it seems Dale already has a solution :)


-- 
  Matthieu Casanova
  [email protected]


Mar 03 oct 2023, à 03:17, Alan Ezust a écrit :
> 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