Revision b17a04f1578e1a415ca9b5d600478cf814f00509

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

- Fix CREDITS.