Summary of changes: 0927e57... 4.8.5 (*) 49aff8e... Merge branch 'f18' into f17 (*) 6b6e5d4... Merge branch 'f18' into f17 (*) f1e6e9b... Merge branch 'f18' into f17 (*) 13aecae... Merge branch 'f18' into f17 (*) (*) This commit already existed in another branch; no separate mail sent