Revision 22e4780d78d9f89ad5c1f2391d397a2fce0960fc

Committed on 17/05/2007 9:07 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Fix CREDITS.