Summary of changes: 1f76890... fix typo (*) 51eeb80... 1.4.0-4 (*) 6b58520... 1.4.0-5 (*) e75e9a5... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent