Summary of changes: eed9c1e... fix license handling (*) 2f6f483... Update to 0.12 faf7a71... Merge branch 'master' into f21 (*) This commit already existed in another branch; no separate mail sent