Summary of changes: ef264f3... 14.11.97 (*) 917cde0... 14.12.1 (*) bde6ecc... old sources (*) a9f2f48... fix FTBFS (*) 49880dc... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent