#851 (Apr 22, 2017, 11:17:12 PM)

	Changes theories "GCD" and "Binomial" are already included in "Main"; (detail / hgweb)
	Started by an SCM change
	This run spent: 8.8 sec waiting; 1 min 57 sec build duration; 2 min 6 sec total from scheduled to completion.
	Revision: 948235fd17190da38109dce6cd9911da877e4ebc
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #851	( 1 min 35 sec )	Console Output