Summary of changes: 8232042... 5.3. (*) cea9ada... Re-diffed pthread patch. (*) 6b8c178... 5.4. (*) d7c62d7... Drop patch. (*) (*) This commit already existed in another branch; no separate mail sent