#9 (Feb 23, 2020, 11:47:28 AM)

	No changes.
	Triggered by Gerrit: https://git.eclipse.org/r/158180
	Revision: 6c2dee1ce33e10cb13a3af8e4bfbcc992ef12cc7 Repository: /gitroot/viatra/org.eclipse.viatra.git refs/changes/80/158180/1
	Test Result (no failures)