Summary of changes: c40b0cc... 4.11.90 (*) 821c9df... 4.11.95 (*) f12d9ca... 4.11.97 (*) adabc74... 4.12.0 (*) 3f9215c... 4.12.1 (*) f11d118... 4.12.2 (*) 7cd9545... Revert "4.11.5" ee7f46e... Revert "4.11.4" 098d1f0... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent