#4 (Feb 28, 2020, 1:29:56 PM)

	No changes.
	Started by user Zoltan Ujhelyi
	Revision: 19c88e091ee7f37660e474445ac51cf9fde6af9e Repository: git://git.eclipse.org/gitroot/viatra/org.eclipse.viatra.git origin/2.3-maintenance