Summary of changes: 098a0fe... Latest sources from upstream. Full change log available at (*) 0ec1dfa... Merge branch 'HEAD', remote branch 'origin/master' into f14 (*) This commit already existed in another branch; no separate mail sent