Summary of changes: a740f7d... 4.8.3 (*) ae86393... add missing files (plugin globalshortcuts) (*) 45418e2... fix typo (*) (*) This commit already existed in another branch; no separate mail sent