Summary of changes: 30611fc... 14.11.97 (*) c02406f... 14.12.1 (*) 13dc394... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent