Summary of changes: eaefe7b... 4.11.90 (*) c9f368c... 4.11.95 (*) bfbd7da... 4.11.97 (*) 041aa31... 4.12.0 (*) 66df16a... 4.12.1 (*) 5dd3fce... 4.12.2 (*) 8f107d1... Revert "4.11.5" 64ee9f0... Revert "4.11.4" 22b6272... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent