#1495 (Apr 11, 2018, 6:11:14 PM)

	Changes more consistent büchi automata naming scheme (detail / hgweb)
	Started by an SCM change
	This run spent: 9.6 sec waiting; 8 min 52 sec build duration; 9 min 2 sec total from scheduled to completion.
	Revision: 2459418a04916c68416c23f615b3a0abfae41261
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1495	( 8 min 26 sec )	Console Output