Summary of changes: 2d62ef6... Update to 1.5.13 (*) aaa8261... Merge branch 'master' into f21 (*) This commit already existed in another branch; no separate mail sent