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 |
---|