#1409 (Jan 13, 2018, 9:16:07 PM)

1. tuned messages; (detail / hgweb)
2. merged (detail / hgweb)
3. allow TeX comment % in formal comment body, but avoid extra space (cf. d7c6054b2ab1); (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more general error suffixes, e.g. for messages that are broken over several lines; (detail / hgweb)
7. another Latex error seen in the wild:
   Undefined control sequence.
   \isamarkupcancel #1->\xout (detail / hgweb)
8. clarified default; (detail / hgweb)
9. clarified formal comments; (detail / hgweb)
10. prefer formal comments; (detail / hgweb)
11. added \<^cancel> operator for unused text; (detail / hgweb)
12. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 45 min build duration;
• 1 hr 50 min total from scheduled to completion.