Summary of changes: 6c87763... Add patch to fix crash bug (*) 221c8ed... Add patch (*) (*) This commit already existed in another branch; no separate mail sent