Build #4 (Dec 14, 2023, 11:17:19 AM)

	Pull request #4241 updated at 11:17:05 AM on Dec 14, 2023
	Revision: e88441912b3faa8b0360349a8d142608557ce18f Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4241
	Revision: a5ba695e53569c8ec60dbbb7322b380abfdd4d70 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4241
	Revision: faef0c7afe92212fa511694d439f413e597ff97f Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4241