Summary of changes: 30dd493... dist-git conversion (*) 75215ae... - update to 1.3.10 (*) 006888a... - update to 1.3.10 7b20419... - update to 1.3.10 (*) This commit already existed in another branch; no separate mail sent