Summary of changes: 8aff3e5... add missing ; (*) 49c70df... Fix media keys (*) d28747f... Merge branch 'f19' (*) This commit already existed in another branch; no separate mail sent