Summary of changes: 59b553b... Reverted gdevcups-segfaults patch from bug #639593 (bug #65 (*) 3c5a2bb... Merge branch 'f13' into f14 (*) This commit already existed in another branch; no separate mail sent