Summary of changes: 8882f95... Undo last change which had no effect. We already remove th (*) 011ba18... Merge branch 'f14' into f15 (*) This commit already existed in another branch; no separate mail sent