Summary of changes: 9bc312f... Update to 0.9.2 (*) 9e03e7f... Update to 0.9.4 (*) f568d72... Merge remote-tracking branch 'origin/master' into f17 (*) This commit already existed in another branch; no separate mail sent