Build #1 (Nov 9, 2023, 1:23:39 PM)

	Pull request #4228 opened at 10:32:16 AM on Nov 9, 2023
	Revision: c765353793cc7b273d778fd95e3a5ee0f11c7fb3 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4228