Summary of changes: c240a1a... Update to 0.094 (*) 4be524e... Fix setup (*) 428c95d... Fix .gitignore (*) e23b3a6... Merge branch 'master' into f12 (*) This commit already existed in another branch; no separate mail sent