Revision 67bd53d64a3054ec0cb6264b9dea3197a7e12b0a

Committed on 28/08/2009 2:43 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Revert r10820.