Build #72 (Sep 23, 2020, 8:10:10 AM)

	No changes. Changes in dependency org.eclipse.winery.common #71 → #72 (detail)
	Test Result (no failures)