Summary of changes: 7acfa10... update to snapshot git67a1b5f (*) 76d0920... Merge branch 'rawhide' into f15 (*) This commit already existed in another branch; no separate mail sent