Summary of changes: 9141308... Patch correction, new upstream. (*) 24134e9... Updated patch. (*) (*) This commit already existed in another branch; no separate mail sent