Submit requests to merge a changelist (set) to a stable branch here. Don't
forget to PUT THE COMPLETE SET OF REVISION NUMBERS to be merged. See doc
/release-procedure.txt for more details.
Be sure to set the Group: to the version number that the merge belongs to.
Keep in mind, jEdit 5.1 is being stabilized at the moment and is the only
version being maintained (in other words, don't bother submitting merges for
If merging bug fixes add the bug id prefixed with #. This will allow to
search for merge requests for a given bug. There is no other way to find out
the earliest version in which the bug is fixed.
|198||Splashscreen cannot be hidden||for 5.2.x||open||1 day ago||1 day ago||5||0|
|197||Fix for plugins that cannot be removed||for 5.2.x||open||1 day ago||1 day ago||5||0|
|196||Merge fix for broken java installer (#3837)||for 5.1.x||open||2013-12-23||2014-01-13||7||0|
|195||Fix systray icon not created on EDT thread||for 5.1.x||open||2013-10-16||2013-10-16||5||0|