Revision 67bd53d64a3054ec0cb6264b9dea3197a7e12b0a

Committed on 28/08/2009 2:43 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Revert r10820.