Summary of changes: 8f43130... 4.11.90 (*) 4c144e3... 4.11.95 (*) 7a04cd1... 4.11.97 (*) 5db641d... 4.12.0 (*) 7a6c3d6... 4.12.1 (*) 0353c6e... 4.12.2 (*) 1a092e0... Revert "4.11.5" 7d7a43a... Revert "4.11.4" 772d1a5... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent