Build #13 (Nov 7, 2023, 2:56:47 PM)

	Pull request #3385 updated at 2:56:32 PM on Nov 7, 2023
	Revision: 0d842c04c3de1237394c6c4297d8289d6a13835f Repository: https://github.com/modelica/ModelicaSpecification.git PR-3385
	Revision: 1901c0c0612837f6ce97c799aaadbfcc86ba77d7 Repository: https://github.com/modelica/ModelicaSpecification.git PR-3385