Re: jEdit 5.7.0 release?

Hey, 
no problem for to release 5.7 on my side.

Matthieu

Lun 02 oct 2023, à 20:44, Eric Le Lay via jEdit-devel a écrit :
> 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


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