Summary of changes: 912a78d... - Rebuilt for https://fedoraproject.org/wiki/Features/P (*) 81dea0d... dist-git conversion (*) 4aedfbf... new version (*) 81e7828... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent