Build #7 (Jun 20, 2022, 10:21:07 AM)

	Changes Fix (details / githubweb) Changes Fix (details / githubweb)
	Pull request #3205 updated at 10:20:50 AM on Jun 20, 2022
	Revision: 08226a9bf372c5b6a28dea7aef7257fb1299e85a Repository: https://github.com/modelica/ModelicaSpecification.git PR-3205
	Revision: 6f827fd06d725b5715e8d89eadd9598eaf7ab3c8 Repository: https://github.com/modelica/ModelicaSpecification.git PR-3205