Re: jEdit 5.7.0 release?

Hi,
the delete at end of line issue on java 20+ on Linux issue seems
blocking to me.
Cheers,


Le Mon, 2 Oct 2023 09:42:24 -0600,
Dale Anson <[email protected]> a écrit :

> I did not update the CHANGES, but it looks like you did it yesterday?
> Would you like me to double check?
> 
> I don't have anything else in progress for jEdit itself.
> 
> On Sun, Oct 1, 2023 at 4:44 PM Vampire <[email protected]> wrote:
> 
> > Hi
> >
> > As Dale also brought is up on the Users' list, what do you guys
> > think about a 5.7.0 release?
> > Is it ready as-is? Or is there something preventing a release like
> > some half-baked changes or similar?
> >
> > The point I had with Matthieu's flaky test was resolved by fixing
> > the flakiness, making it fail consistently
> > and fixing the actual problem that made it fail. Thanks Matthieu for
> > taking care so fast.
> >
> > Dale did you, or someone else - preferably native speaker, have a
> > chance to look through the
> > potentially missing CHANGES.txt entries you mentioned, and the
> > "What's new" docs section?
> >
> > Cheers
> > Björn
> >
> >  



-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel