Summary of changes: 32a298b... Rebase to git commit a82f8ac (*) 4d2b5e8... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent