Build #11 (Nov 6, 2023, 2:36:41 PM)

	Changes Rename to be slightly better. (details / githubweb)
	Pull request #4221 updated at 2:36:25 PM on Nov 6, 2023
	Revision: 999baf62eae65da7f35c69e4b3ce6c3835138ebc Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4221
	Revision: ef10578d78bd1cdbec52df86be9a4f12615ede37 Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4221
	Revision: 6421de8d0a6f7df3f71dbe303e735cbc24de8d2d Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-4221