Summary of changes: 8ea257e... v42 (*) 246a96e... v43 (*) 63155e5... fix build (*) 223b602... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent