Home | Docs | Forums | Lists | Bugs | Planet | Store | GMN | Get Gentoo!
Not eligible to see or edit group visibility for this bug.
View Bug Activity | Format For Printing | XML | Clone This Bug
There's a new version of jedit available. In tree, there's 4.3pre12, the current version is 4.3pre13. The source can be downloaded from http://sourceforge.net/project/downloading.php?groupname=jedit&filename=jedit4.3pre13source.tar.bz2&use_mirror=kent It builds just fine using the 4.3pre12 ebuild.
Bumped.