Build #11 (Jun 20, 2022, 11:56:14 AM)

	Pull request #3205 updated at 11:56:02 AM on Jun 20, 2022
	Revision: 1952b4101fa4ba951168ec9c4e20510727b27346 Repository: https://github.com/modelica/ModelicaSpecification.git PR-3205
	Revision: 122e5b4401b3e7de01fca39909276de58034fe11 Repository: https://github.com/modelica/ModelicaSpecification.git PR-3205