#1333 (Jan 17, 2018, 8:44:14 AM)

	Changes New entrty Gromov_Hyperbolicity (detail / hgweb)
	Started by an SCM change
	This run spent: 10 sec waiting; 4 min 56 sec build duration; 5 min 6 sec total from scheduled to completion.
	Revision: 800790e72d96f0da558d057469e68a0f04c2b3bd

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