Summary of changes: 4d28f4b... - Rebuilt for https://fedoraproject.org/wiki/Features/P (*) 942739c... dist-git conversion (*) 349e316... Use the man pages provided by the repository (*) 2d505a1... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent