Summary of changes: e5742e4... update to latest HEAD commit 6850c8d in upstream master (*) 2518f91... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent