Summary of changes: 2c74242... 3.0.7 (*) 80c638f... 3.0.8 (*) a0982c1... 3.1.0 (*) af3e52d... Merge remote-tracking branch 'origin/master' into f18 (*) (*) This commit already existed in another branch; no separate mail sent