#1203 (Oct 8, 2017, 2:07:04 PM)

1. merged (detail / hgweb)
2. proper File.platform_path for SML/NJ on Windows; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. proper output of raw ML; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 24 min build duration;
• 1 hr 29 min total from scheduled to completion.