Summary of changes: 37d11b2... update to newer snapshot, another fixed crash (*) 42cc425... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent