Summary of changes: c858460... drop reference to old/removed patch (*) f581a88... Merge remote-tracking branch 'origin/f15' into f14 (*) This commit already existed in another branch; no separate mail sent