#619 (Nov 28, 2016, 9:26:08 AM)

	Changes moved lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 5.2 sec waiting; 1 hr 16 min build duration; 1 hr 16 min total from scheduled to completion.
	Revision: 8dc6017da11f65c0c1045411bbceadb0df4f0588

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #619	( 1 hr 15 min )	Console Output