#1391 (Feb 7, 2018, 6:02:12 PM)

	Changes really delete empty More_Set_Partition theory (missed in b066c154e09a) (detail / hgweb)
	Started by an SCM change
	This run spent: 8.9 sec waiting; 3 min 42 sec build duration; 3 min 51 sec total from scheduled to completion.
	Revision: c9276322808536cc2b6b9b5dbd077f97b4125354

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