#911 (May 20, 2017, 10:02:06 PM)

	Changes updated to postgresql-42.1.1; (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 3 sec waiting; 59 min build duration; 1 hr 4 min total from scheduled to completion.
	Revision: 750efd46bba9ef013164c314715a9796c02148c4
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #911	( 58 min )	Console Output
isabelle-repo-afp	build #911	( 2 min 17 sec )	Console Output