Build #859 (Nov 19, 2020 12:24:13 PM)

	Build Artifacts
	Changes fixes #5457 (details / githubweb)
	Push event to branch Pharo9.0 at 12:23:58 PM on Nov 19, 2020
	Revision: ebb826bc2ff31de0a069c2b683679c846fcbb27c Pharo9.0
	Test Result (no failures)