Build #5333 (Jun 13, 2024, 3:23:16 PM)

	Changes Update documentation view if current class is the active class (#12574) (details / githubweb)
	Push event to branch master at 3:23:01 PM on Jun 13, 2024
	Revision: 0051418c02b92d9d307e7f2c45d545f7c941c8c2 Repository: https://github.com/OpenModelica/OpenModelica.git master
	Test Result (no failures)
	Revision: 7b2d4415128d1952b43e8b290cab5a97f3274a65 Repository: git@github.com:OpenModelica/www.openmodelica.org.git refs/remotes/origin/main