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