#1160 (Oct 12, 2017, 7:20:10 PM)

	Changes added lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 7.5 sec waiting; 6 min 2 sec build duration; 6 min 10 sec total from scheduled to completion.
	Revision: 6ef2f8f6154fdbfde7a50cb642f2409711aea9d0

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1160	( 5 min 35 sec )	Console Output