Summary of changes: 5535c02... 7.7.5-0.2 corrected sources (*) b47d294... Merge branch 'f16' into f17 (*) 78bf263... Merge branch 'f17' (*) This commit already existed in another branch; no separate mail sent