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

	Pull request #4227 opened at 10:26:03 AM on Nov 9, 2023
	Revision: 5530497d010cf03a8850be2b986249081bd3b6f1 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4227