refs #1422: merge r7293 from trunk

git-svn-id: https://svn.modelica.org/projects/Modelica/branches/maintenance/3.2.1@7601 7ce873d0-865f-4ce7-a662-4bb36ea78beb