#1575 (Apr 17, 2018, 4:10:05 PM)

1. NEWS; (detail / hgweb)
2. updated to jedit-5.5.0;
   discontinued jedit_build/contrib/jEdit-patched.tar.gz -- its content is in directory jedit_build/contrib/jedit-5.5.0-patched/jEdit; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 51 min build duration;
• 56 min total from scheduled to completion.