Build #7 (Dec 17, 2020, 12:23:58 PM)

	Changes More (details / githubweb) Changes More (details / githubweb)
	Pull request #2774 updated at 12:23:44 PM on Dec 17, 2020
	Revision: 798273d1cbdeac06cd592902e5f83b0c61cc03fd Repository: https://github.com/modelica/ModelicaSpecification.git PR-2774
	Revision: 6fcfe6b2c6441bb0cd9b2f4d28e4dd196b4b982d Repository: https://github.com/modelica/ModelicaSpecification.git PR-2774