Re: [ jEdit-devel ] jEdit 5.7.0 release?

[Vampire <Va...@jE...>]

Hi there,

just a small status update.
While I was preparing the release, I stumbled upon that Mac user on the users list not able to start jEdit.
It turned out, this affects all users on such newer Macs with arm architecture, so that they are unable to start jEdit.
Due to that I want to fix that issue before doing the release.

Unfortunately, that user stopped responding mid-investigation when I had it half-working for him.
Fortunately, I now got my hands on such a new Mac and was able to reproduce the issue there.
So I can now finally properly investigate and fix the issue and then kick out the release.

Though, I'm right now first fixing our web services, most of which were down due to the recent PHP upgrade on SourceForge project web.
Once I fixed, those, I'll fix the bug, and then roll out the release, because with non- or half-working website,
it is also not too helpful to create a release imho. :-)

Cheers
Björn

Am 17.10.2023 08:29, schrieb Eric Le Lay via jEdit-devel:
> Le Fri, 13 Oct 2023 23:09:03 +0200,
> Vampire <Va...@jE...> a écrit :
>
>> @Eric
>> I see you have committed for it, so is that sufficiently fixed now?
> Hi,
> yes, it fixes the issue. We'll remove the version test after we depend
> on >= java 20.
> Cheers,
>
>