#1522 (Apr 17, 2018, 3:49:45 PM)

	Changes moved and polished some proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 7.2 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 4c3ac4ea7ee48efcf570939c917f1ee3e6f67fc6

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1522	( 9 min 51 sec )	Console Output