Summary of changes: e2bea3e... Fix a double free and a segfault bug (*) 0f58878... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent