Summary of changes: a700618... New version. (*) 3752687... New version. (*) 601b8de... Merge branch 'master' into f19 (*) This commit already existed in another branch; no separate mail sent