Summary of changes: b846eeb... Drop old patch that doesn't appear to be needed any more an (*) 8b8c5aa... 0.7.92 (*) (*) This commit already existed in another branch; no separate mail sent