jEdit 5.7.0 release?

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