Summary of changes: 260c9ce... 7.9.0 (*) 7fabe1e... Merge branch 'f16' into f17 (*) cb982ce... Merge branch 'f17' (*) This commit already existed in another branch; no separate mail sent