Summary of changes: 31d07ff... Updated to the latest upstream version. Tests enabled. Docu (*) 434b52e... Merge branch 'master' into f15 (*) This commit already existed in another branch; no separate mail sent