#1457 (Feb 12, 2018, 2:01:04 PM)

1. permissive Doc.dirs: some entries may be absent due to distribution bootstrap, e.g. $JEDIT_HOME/dist/doc; (detail / hgweb)

Started by an SCM change

This run spent:

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