#1050 (Aug 6, 2017, 10:25:48 PM)

1. slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 2 hr 55 min build duration;
• 3 hr 0 min total from scheduled to completion.