Revision 8456b317e399dba463d386e8ccd803ae8392fd2c

Committed on 17/05/2007 9:07 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Fix CREDITS.