Re: jEdit 5.7.0 release?

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