Summary of changes: 252fd62... Update to 0.3.1-1. (*) 778c11d... Update to 0.3.1-2. (*) 9cb7a05... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent