Revision 8bf4b03023c0e29bdf6ef152891033d0c62fff7e

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

- Fix CREDITS.