Build #3 (Jan 9, 2024, 2:28:33 PM)

	Pull request #4235 event at 2:28:16 PM on Jan 9, 2024
	Revision: 5f7f9ce36748b1bb276276eaa8ae272edc9d4930 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4235
	Revision: 5259f7da68d95613a978ccd7ef414f604db77b51 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4235