Build #13 (May 24, 2021, 11:25:05 AM)

	Pull request #3807 updated at 11:24:50 AM on May 24, 2021
	Revision: 4375100df3197e3aa1e06feabb0b97f0e5c990ae Repository: https://github.com/modelica/ModelicaStandardLibrary.git PR-3807
	Superseded by ModelicaAssociation/ModelicaStandardLibrary/PR-3807#14