#1705 (Jun 24, 2018, 12:01:03 PM)

	Changes Word_Lib: new lemmas on word_ctz; cleanup (detail / hgweb)
	Started by an SCM change
	This run spent: 5.4 sec waiting; 24 min build duration; 24 min total from scheduled to completion.
	Revision: f7e9efc65d82c58159cd362cc1bc217abf7afa51

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1705	( 23 min )	Console Output