Summary of changes: 7a3aa5a... 4.11.4 (*) 0cdd1a5... 4.11.5 (*) 31b7701... Revert "4.11.5" (*) 28b7c6d... Revert "4.11.4" (*) 859fa7e... Merge branch 'master' into f20 (*) (*) This commit already existed in another branch; no separate mail sent