Summary of changes: ef169f9... 4.5.3 (*) aa7184d... update trademarks patch (*) 400fd2f... Merge remote branch 'origin/master' into f13/master (*) This commit already existed in another branch; no separate mail sent