Build #2 (Aug 10, 2023, 9:37:31 AM)

	Pull request #3987 updated at 9:37:16 AM on Aug 10, 2023
	Revision: b2720c1f374a01e10f80a9ea743d6b44c8836301 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-3987