[ros-diffs] [cwittich] 61657: [mmc] Change "Strg" to "Ctrl" for non german languages See issue #7782 for more details.