Summary of changes: 83d4b53... update to 0.10.2 (*) 7206d71... Merge branch 'master' into f14 (*) 462efa8... Sync with master. (*) 79b98cd... Merge branch 'f14' into f16 (*) This commit already existed in another branch; no separate mail sent