Build #10 (Nov 6, 2023, 2:34:09 PM)

	Pull request #4221 updated at 2:33:56 PM on Nov 6, 2023
	Revision: 27f1d6a547b4f4a7f0868a5cdc9ccfb9df62e6ea Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4221
	Revision: 34e3b8ac44a3e63ed9d2b6743e13f85d1a2290aa Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4221
	Superseded by ModelicaAssociation/ModelicaStandardLibrary/PR-4221#11