Summary of changes: 100d562... svn ver. 5081 (*) 097a2ca... svn ver. 5537 (*) 15d1361... dist-git conversion (*) 68d65ee... svn ver. 5690 (*) 3578048... Merge branch 'master' into f13/master (*) This commit already existed in another branch; no separate mail sent