Summary of changes: 63dd20f... really apply encoding patch/fix (#747976) (*) edba01d... Merge branch 'f18' into f17 (*) This commit already existed in another branch; no separate mail sent