Summary of changes: c68e649... 14.11.97 (*) 507c3a9... 14.12.1 (*) fa89cb3... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent