jedit.org as well as plugins.jedit.org and community.jedit.org seems to be completely down.
Is this because of the recent PHP disclosures, or is something else broken?
I did not find any devops post telling that things were taken down due to the PHP issue.
Cheers
Björn
Hello,
Thank you for reaching out.
Yes, this is related to the recent PHP security disclosures.
We’re working quickly to ensure our sites remain secure and expect to have updates to share soon.
Sincerely,
SourceForge Support
Hi,
I've been informed that the reported issue is now resolved.
Please verify it's working for you.
Sincerely,
SourceForge Support
Hello,
We have not heard from you and are now closing this ticket. If you need any help moving forward, please submit another ticket. Thank you.
Sincerely,
SourceForge Support