Summary of changes: 9d8bd12... 4.9.4 (*) a719f6d... 4.9.5 (*) 7470330... Merge branch 'master' into f18 (*) (*) This commit already existed in another branch; no separate mail sent