Re: Is jEdit dead?

Development has recently picked up, and a bunch of bugs were recently
fixed. I suspect we will be releasing a newer jEdit before the end of the
year.
Daily builds are currently down, my jenkins server is gone.

On Mon, Aug 19, 2019 at 3:26 AM Ronald Fischer <[email protected]> wrote:

> I wonder whether the jEdit project has died, because
>
> - I don't get any response on any of the postings I wrote in the past
> months in the forum,
>
> - The bug report i sent to the jedit-users lists now waits already 10 days
> for moderator approval, i.e. it is neither approved nor rejected,
>
> - The community page on
> http://community.jedit.org/modules.php?op=modload&name=faq&file=index
> shows only a white page under Firefox, no information, so it probably isn't
> be maintained either.
>
> Ronald
>
>
> --
> -----------------------------------------------
> jEdit Users' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

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