Summary of changes: efb5883... Update to 1.3.2 with minor upstream fixes (*) 22f771a... Merge remote-tracking branch 'origin/master' into f18 (*) This commit already existed in another branch; no separate mail sent