Revision adf61325d418fe731784e3455fb9566503862fea

Committed on 01/09/2008 12:56 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Sync with r8865.