#3 (Feb 19, 2020, 10:45:22 AM)

	No changes.
	Triggered by Gerrit: https://git.eclipse.org/r/157915
	Revision: 7acee4406e9f7486d4b425ac44a836d8127d704d Repository: /gitroot/viatra/org.eclipse.viatra.git refs/changes/15/157915/3
	Test Result (no failures)