Build #888 (Oct 18, 2019, 10:23:24 PM)

	Build Artifacts
	Changes There is an option to turn on a small integrated browser in completion. (details / githubweb)
	Push event to branch Pharo8.0 at 10:23:17 PM on Oct 18, 2019
	Revision: 7b9bbd4b3e2691435744f2be798e2d50c7cf64e6 Repository: https://github.com/pharo-project/pharo.git Pharo8.0
	Test Result (no failures)