This should be fixed as soon as possible since it prevents users from installing jEdit
!
Revision to merge: [r23389]
Bug report: [#3837]
| Submitted | kerik-sf - 2013-12-23 14:15:29.838000 | Assigned | |
|---|---|---|---|
| Priority | 7 | Labels | |
| Status | pending | Group | for 5.1.x |
| Resolution | out-of-date |
| 2014-12-31 16:10:51.523000 ezust |
- **status**: open --> pending-out-of-date |
|---|