Summary of changes: 0cf0952... Update to 0.12 (*) 7f5db68... General clean-up (*) c8a2ad4... Update to 0.13 (*) 6558e02... Update to 0.14 (*) (*) This commit already existed in another branch; no separate mail sent