Summary of changes: 32841a0... dist-git conversion (*) 05509b3... - New upstream release. (*) aafb69f... Merge remote branch 'origin/f14/master' into f13/master (*) This commit already existed in another branch; no separate mail sent