Summary of changes: e07dc15... Update to 1.3.2-1. (*) db3fcce... Update to 1.3.2-2. (*) 12f3c29... Merge branch 'master' into f15 (*) This commit already existed in another branch; no separate mail sent