#728 (Oct 2, 2020, 1:18:00 PM)

	No changes.
	Started by upstream project viatra-master build number 1961 originally caused by: Started by upstream project master-integration-trigger build number 284 originally caused by: Started by timer
	Revision: d6d879d4a10a2ca7c4eb638dd0b0c03690e661a0 Repository: /gitroot/viatra/org.eclipse.viatra.examples.git origin/master
	Test Result (no failures)