#981 (Jul 12, 2017, 7:47:09 PM)

	Changes merged (detail / hgweb) simplify proof (detail / hgweb)
	Started by an SCM change
	This run spent: 7.6 sec waiting; 58 min build duration; 58 min total from scheduled to completion.
	Revision: 16357dd94ddeb922fcf37d207ab3c2257e76741b

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