Summary of changes: 1f5a7af... Update to 1.5.11-2 (*) 650626d... Update to 1.5.12 (*) d8123b1... Update to 1.5.13-1 (*) (*) This commit already existed in another branch; no separate mail sent