Summary of changes: 160bb7f... Update to 1.2.12 (*) 1fcc9d7... Update to 1.2.12 (*) 1fa9de5... Update to 1.2.12 (*) (*) This commit already existed in another branch; no separate mail sent