#1411 (Feb 20, 2018, 3:29:11 PM)

	Changes fixed failing proofs in QR_Decomposition (detail / hgweb)
	Started by an SCM change
	This run spent: 8 sec waiting; 7 min 5 sec build duration; 7 min 13 sec total from scheduled to completion.
	Revision: b357de73535bfd743cffd0f9aef82515ed7e1725
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1411	( 6 min 25 sec )	Console Output