#1409 (Feb 20, 2018, 12:38:30 PM)

	Changes new proof using sum.union_disjoint (detail / hgweb)
	Started by an SCM change
	This run spent: 5.7 sec waiting; 1 hr 47 min build duration; 1 hr 47 min total from scheduled to completion.
	Revision: 4a669c0870677947fd2350ad11d282a3d98a535e
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1409	( 8 min 19 sec )	Console Output