Summary of changes: 6961ea6... up to 2.4.6, project moved to github (*) 9f80c55... build is racy 83b69cf... missing dir f81e9fc... drop obsolete files (*) This commit already existed in another branch; no separate mail sent