Summary of changes: 38312b3... 14.11.97 (*) bd91351... 14.12.1 (*) 6e7f6e2... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent