Summary of changes: 2b82610... dist-git conversion (*) fdaaa37... - New upstream release. (*) 0edac35... Merge remote branch 'origin/f14/master' into f13/master (*) This commit already existed in another branch; no separate mail sent