Summary of changes: 6781dff... New upstream release. (#813246) (*) ded2373... update sources (*) 60714b1... Merge remote-tracking branch 'origin/master' into f17 (*) This commit already existed in another branch; no separate mail sent