Summary of changes: 3886ee5... 4.11.90 (*) 1deabdd... 4.11.95 (*) 4404e9d... 4.11.97 (*) 5e85c67... 4.12.0 (*) 90e67c5... 4.12.1 (*) b047bf5... 4.12.2 (*) 48c33c5... Revert "4.11.5" 76f17ee... Revert "4.11.4" 9d1d37e... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent