Summary of changes: 3bca2d7... update to 0.10.0 (*) 2f8a8e8... forgot to update sources. (*) a3aac1c... Merge branch 'master' into f14 (*) This commit already existed in another branch; no separate mail sent