Summary of changes: dd7c5f0... Update to 3.8.0 (*) 0663708... Update to 3.8.1 (*) 65a59ea... Drop an obsolete patch (*) (*) This commit already existed in another branch; no separate mail sent