Summary of changes: 523d4bd... Updated to latest svn ver. 1250 (post-release snapshot for (*) 84db2a7... Merge branch 'master' into f13/master (*) This commit already existed in another branch; no separate mail sent