#1145 (Oct 9, 2017, 5:29:28 PM)

	Changes merged (detail / hgweb) deleted redundant theorem (detail / hgweb)
	Started by an SCM change
	This run spent: 9.1 sec waiting; 4 hr 32 min build duration; 4 hr 32 min total from scheduled to completion.
	Revision: b449ef093cd3f722904908d59af646350ae6dce2
	Resume build

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