#789 (Mar 24, 2017, 3:59:12 PM)

	Changes fixed some broken proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 9.6 sec waiting; 23 min build duration; 23 min total from scheduled to completion.
	Revision: 55da6b950bcc1e560c1e10e656b67ccffa13e1a2
	Resume build

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