Summary of changes: be14eef... New upstream release. (#828202) (*) 7eb6ee6... Merge remote-tracking branch 'origin/master' into f17 (*) This commit already existed in another branch; no separate mail sent