Summary of changes: b569d10... Update to 0.7.2 (*) 7bd1af2... Update to 0.7.3 (*) cd91cde... Fix bogus date (*) 749a80d... Update to 0.7.4 (*) (*) This commit already existed in another branch; no separate mail sent