Summary of changes: 0babfb1... - update to 3.1.0 release (*) cb11bfa... update to 3.1.3 release (*) 98f368c... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent