Summary of changes: 3b00dd8... - Update to 0.6.3, update url and source details, enable in (*) 6074a15... - some cleanups and fixes (*) 9f55b2e... - Update to 0.6.4 (*) 37ab300... dist-git conversion (*) f14e868... update to 0.6.4 (*) This commit already existed in another branch; no separate mail sent