Summary of changes: a3337de... updated to 0.257 (*) a7a8656... new upstream version (0.258) (*) f5565c4... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent