Summary of changes: 399b152... dist-git conversion (*) b4f56db... Update to latest version from SVN - r8991 (*) 168dd7b... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent