Summary of changes: 7796309... New -destructor patch that doesn't cause memory leaks. (*) c873574... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent