id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6010	Get OpenModelica back into FMI Cross-checker	Francesco Casella	Andreas Heuermann	We should get back into the FMI Cross-checker logs. We can use this ticket to keep track of required activities	enhancement	assigned	high		FMI			fmi-cross-check	Adrian Pop Martin Sjölund Lennart Ochel