Build #10 (Apr 28, 2020, 8:32:51 AM)

	Pull request #2551 updated at 8:32:41 AM on Apr 28, 2020
	Revision: 53cb428e4be427f08e89545c0365f77edd69f308 Repository: https://github.com/modelica/ModelicaSpecification.git PR-2551
	Revision: f8311bc23ac92ca3c5fdf01c1ae0f7b7899ca5bb Repository: https://github.com/modelica/ModelicaSpecification.git PR-2551