[ jEdit-devel ] [ jedit-Bugs-688399 ] mirrors don't have 4.1pre10

[SourceForge.net <no...@so...>]

Bugs item #688399, was opened at 2003-02-17 18:23
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=688399&group_id=588

Category: web site
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: mirrors don't have 4.1pre10

Initial Comment:
I have tried to download 4.1pre10 several times this
weekend and the mirrors don't seem to have it. I get
the following error
Not Found

The requested URL
/sourceforge/jedit/jedit41pre10install.jar was not
found on this server.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=688399&group_id=588