[ jEdit-commits ] [jEdit-daily] jEdit_5.0.x - Build # 17 - Successful!

[<jed...@te...>]

jEdit_5.0.x - Build # 17 - Successful:

Changes for Build #17
[kpouer] merged rev 22502 to fix bug #3533751 (merge request #3590083)




Artifacts can be downloaded here:
http://www.tellurianring.com/projects/jedit-daily/index.php?dir=jEdit_5.0.x