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