Summary of changes: 00f3f8d... 4.9.2 (*) 94c42d2... 4.9.3 (*) 3ab52c5... 4.9.4 (*) dd07fe0... 4.9.5 (*) 7e3e4e4... Merge branch 'master' into f18 (*) 7406d7e... fix merge (grr) (*) (*) This commit already existed in another branch; no separate mail sent