Revision 0c42f7eb253fdc04fa7cd07514599a2a53d7c6b5

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

- Fix CREDITS.