Revision 59206f0c51c1bfccff055214cc74e35ef1c5bf57

Committed on 01/09/2009 1:29 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Fix whitespace.