Build #3 (Dec 13, 2023, 11:46:37 AM)

	Pull request #4239 updated at 11:46:21 AM on Dec 13, 2023
	Revision: b88bed813f364f50566d477b0cd6d4b21b51593b Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4239