Summary of changes: 4aacce8... Update to 0.1.0. (*) f85e1e4... dist-git conversion (*) 5a011cc... update to 0.1.1 (*) 7b1c63d... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent