Summary of changes: 52680ce... dist-git conversion (*) 01a0690... update to 2.3 (*) c16401a... Merge branch 'master' into f13 (*) This commit already existed in another branch; no separate mail sent