Summary of changes: 7d1c07e... dist-git conversion (*) 64a4efc... Update to 0.84. (*) a220f11... Update to 0.84. (*) This commit already existed in another branch; no separate mail sent