Summary of changes: 3051ce3... 2.14.2. (*) beb81cc... Merge branch 'f16' into f15 (*) a5f0be1... Merge branch 'f15' into f14 (*) This commit already existed in another branch; no separate mail sent