jEdit 4.2 final has been released as a stable release. To update editors/jedit to the new version, a repocopy of editors/jedit-devel needs to be made to editors/jedit and apply the included patch. editors/jedit-devel can be set to IGNORE until the 4.3 development branch starts up.
State Changed From-To: open->feedback You can't repocopy over existing stuff. If the old jedit would be worth keeping around, we could move it aside. But I doubt that's desired. Please submit an update relative to editors/jedit.
Responsible Changed From-To: freebsd-ports-bugs->vs Hm, there's no relevant diff in there: jedit@menelaos [10:03:12]> tar jtvf jedit42.tbz drwxr-xr-x question/wheel 0 Aug 31 08:00 2004 jedit.new/ drwxr-xr-x question/wheel 0 Jun 3 20:02 2004 jedit.new/files/ -rw-r--r-- question/wheel 66 Jun 3 04:35 2004 jedit.new/files/instscript -rw-r--r-- question/wheel 267 Jun 3 04:35 2004 jedit.new/files/jedit.sh -rw-r--r-- question/wheel 1215 Jun 3 04:35 2004 jedit.new/pkg-descr -rw-r--r-- question/wheel 581 Jun 5 23:46 2004 jedit.new/pre14.diff -rw-r--r-- question/wheel 1704 Aug 31 07:58 2004 jedit.new/Makefile -rw-r--r-- question/wheel 96 Aug 31 07:58 2004 jedit.new/distinfo -rw-r--r-- question/wheel 581 Jul 17 23:14 2004 jedit.new/pre15.diff
State Changed From-To: feedback->closed Committed, thanks!