Summary of changes: b641858... 3.11.7 (*) e1a4af0... Merge branch 'f14' into f15 (*) a915c81... Merge branch 'f15' (*) This commit already existed in another branch; no separate mail sent