Build #5565 (Aug 11, 2019, 10:00:00 PM)

	No changes.
	Started by timer
	Revision: 1472de9efc8b88b83025542634862361799ea967 Repository: https://github.com/eclipse/gef.git origin/master
	Test Result (no failures)