Summary of changes: 5d9a9aa... dist-git conversion (*) dd66264... - Update to 0.10.0 (*) a9aac48... Split devel subpackage (*) 35bb5a9... Fix .gitignore (*) This commit already existed in another branch; no separate mail sent