Revision 12882643ad6fee1e4b17b69aa0bfde96b7d6369b

Committed on 31/08/2009 9:01 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Sync with r10844.