#748 (Mar 4, 2017, 6:08:09 PM)

	Changes simplified proof (detail / hgweb)
	Started by an SCM change
	This run spent: 5.9 sec waiting; 25 min build duration; 25 min total from scheduled to completion.
	Revision: 04de9b1d66d1e6eb849d70ca479fce9d1f9da34a

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