Summary of changes: 501d4b3... 4.11.90 (*) 41712cb... 4.11.95 (*) aa554aa... 4.11.97 (*) 17a6f6c... 4.12.0 (*) 210a808... 4.12.1 (*) fa7f358... 4.12.2 (*) fbf3ca0... Revert "4.11.5" 6a2dd61... Revert "4.11.4" c032c9e... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent