Build #1 (Dec 10, 2023, 12:17:23 PM)

	Pull request #4238 opened at 12:17:05 PM on Dec 10, 2023
	Revision: b40824970ddbfd73c7f846956d172662314024ce Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4238