jEdit / Merge Requests / #201 merge fix for Java8/Mac OS 10.10 (patch #539, bug #3893)

#201 merge fix for Java8/Mac OS 10.10 (patch #539, bug #3893)

Milestone: for 5.2.x

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2014-11-09

Created: 2014-11-06

Creator: Eric Le Lay

Private: No

revisions to merge: [r23720], [r23721].

Maybe wait a few days to confirm that it's fixed...

Related

Commit: [r23720]
Commit: [r23721]

Discussion

Alan Ezust - 2014-11-09

status: open --> closed-accepted

assigned_to: Alan Ezust
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2014-11-09

Committed [r23722] to 5.2.x branch

Related

Commit: [r23722]

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.