Summary of changes: 0f8bef5... New upstream release 1.7.12 (*) 973d6c0... Upload sources (*) 3bef88e... Merge branch 'master' into f18 (*) This commit already existed in another branch; no separate mail sent