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.
|202||Help Search Index URL fix on Windows||for 5.2.x||open||2014-12-06||2014-12-06||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|