Summary of changes: cf9db91... add the renamed patch i forgot to include... (*) 4ae602e... ...and remove the old version of the patch (*) (*) This commit already existed in another branch; no separate mail sent