Build #1 (Oct 25, 2023, 4:57:57 PM)

	Pull request #4217 opened at 4:57:43 PM on Oct 25, 2023
	Revision: d1e6ce5cf3c90389a306fe25decc1bd3fe42f0b2 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4217