#13 (Mar 30, 2020, 1:16:53 PM)

	No changes.
	Triggered by Gerrit: https://git.eclipse.org/r/160207
	Revision: ff19cb05cc855e8235bb5b3e323325a766ad5aed Repository: /gitroot/viatra/org.eclipse.viatra.git refs/changes/07/160207/2
	Test Result (no failures)