Revision d90eda898527ecc801cef52b497c4ee085b1b301

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

- Fix CREDITS.