Summary of changes: 1151a30... Another fix for the selinux patch (bug #618215). (*) 2d9f244... Merge branch 'f12' into f13 (*) This commit already existed in another branch; no separate mail sent