Summary of changes: 4b73a1d... Merge branch 'f15' into f16 (*) 134727e... Merge branch 'master' into f16 (*) 349baef... The branches shall be as one! (*) (*) This commit already existed in another branch; no separate mail sent