Summary of changes: ade9cb3... Update to 1.3.0 upstream release. (*) fc16f0f... - Fix 1.3.0 which was previously using wrong sources. - Fix ad893f1... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent