Revision 123d19a50acaae94dc23d073549dd42b07d004c1

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

- Fix CREDITS.