Our issue tracking has moved from Trac (https://trac.fmi-standard.org/) to Github issues at https://github.com/modelica/fmi-standard/issues. All issues have been transferred. Please do not edit Trac tickets any more.