#980 (Jul 12, 2017, 6:47:09 PM)

	Changes material moved to distribution (Isabelle/2c1d223c5417) (detail / hgweb)
	Started by an SCM change
	This run spent: 6.9 sec waiting; 58 min build duration; 58 min total from scheduled to completion.
	Revision: d2db3ecc44cf522779888aa8c95e756e3ae235b3

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