#1393 (Feb 7, 2018, 8:20:39 PM)

	Changes merged (detail / hgweb) move Set_Partition to Card_Partitions entry to use facts in new Card_Partitions proof (detail / hgweb)
	Started by an SCM change
	This run spent: 8.5 sec waiting; 4 min 42 sec build duration; 4 min 51 sec total from scheduled to completion.
	Revision: 901c864208d010924f2be25093e7185a84c9ffb6
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1393	( 4 min 27 sec )	Console Output