Summary of changes: aed0bd6... New bugfix release (*) 12c2f85... Another release (*) 4b7dce5... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent