#1703 (Jun 24, 2018, 9:32:08 AM)

1. consolidate additional lemmas from IP_Addresses into Word_Lib
   
   (as discussed with Cornelius) (detail / hgweb)
2. Word_Lib: remove trailing whitespace (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 24 min build duration;
• 24 min total from scheduled to completion.