Build #5260 (May 7, 2024, 4:50:01 PM)

	Changes Avoid extra end message tag when logging LOG_INIT (#12391) (details / githubweb)
	Push event to branch master at 4:49:48 PM on May 7, 2024
	Revision: 70d7a047c5ce5cc2b2738e2424dccb9c2abf984a Repository: https://github.com/OpenModelica/OpenModelica.git master
	Test Result (no failures)
	Revision: 45af0e71ff7b3b1c8b653f5421d0f5dad3f9651b Repository: git@github.com:OpenModelica/www.openmodelica.org.git refs/remotes/origin/main