Summary of changes: 8dd91c2... 0.7.0. (*) (*) This commit already existed in another branch; no separate mail sent