Summary of changes: e1f9d02... Deleted unused patches. (*) 5dd4c9c... Actually apply patch for bug #923655. (*) 2122831... Fixed small typo. (*) 574f277... Merge branch 'f19' into f20 (*) This commit already existed in another branch; no separate mail sent