Summary of changes: 939bedb... version 9.01 color man page files with %lang() (*) cdc096b... dist-git conversion (*) e2497c0... version 9.04 (*) 0c972f2... remove old tarball from .gitignore (*) 63c1700... Merge branch 'f14' into f13 (*) This commit already existed in another branch; no separate mail sent