Build #1037 (Dec 4, 2019 12:02:03 PM)

	Build Artifacts
	Started by user marcus.denker@inria.fr Replayed #1,036 (diff)
	Revision: 67b4a8f45532bc97b01d72ff540f656da3c8212e Pharo8.0
	Test Result (no failures)